Verified Code Transpilation with LLMs
LLMLift uses large language models (LLMs) to automate code translation between domain-specific languages (DSLs), ensuring functional correctness and outperforming traditional tools in speed and efficiency.
Published on October 15, 2025
← Back to ResearchLLMLift uses large language models (LLMs) to automate code translation between domain-specific languages (DSLs), ensuring functional correctness and outperforming traditional tools in speed and efficiency.
Read Full ArticleRelated Research
MONOCODER: Domain-Specific Code Language Model for HPC Codes and Tasks
MONOCODER is a smaller, HPC-specific language model that outperforms larger, general-purpose LLMs on HPC code tasks, offering better performance in code generation and comprehension.
Combining AI with formal verification for efficient migration of legacy code
Advanced techniques for deploying and optimizing large language models on resource-constrained edge devices without compromising performance.