Collaboration is all you need: LLM Assisted Safe Code Translation

Abstract

We present collaborative LLM strategies to safely translate source code between low-resource or domain-specific languages with formal checks.