2 papers
cs.AI2025
Collaboration is all you need: LLM Assisted Safe Code Translation
Rabimba Karanjai, Sam Blackshear, Lei Xu +1
This paper introduces UniTranslator, a visionary framework that re-imagines code translation as a collaborative endeavor among multiple, compact LLMs. By orchestrating the interact…
cs.SE2024
Generating Move Smart Contracts based on Concepts
Rabimba Karanjai, Sam Blackshear, Lei Xu +1
The growing adoption of formal verification for smart contracts has spurred the development of new verifiable languages like Move. However, the limited availability of training dat…