Research Papers
All papers and articles from Code Metal Research.
All papers and articles
6 papers, newest first
Apples to Apples: Getting Type Mappings Right in LLM-Based Code Translation
[code translation]
The Trust Problem Has Shifted: What Formal Verification Can and Cannot Guarantee About AI-Generated Code
[formal verification]
The Real Cost of Leaving NVIDIA
[gpu/cuda]
AI-generated code that works — and proves it
[formal verification]
Combining AI with formal verification for efficient migration of legacy code
[formal verification]
Code migration with formal verification for performance improvement of legacy code
[formal verification]