research/
11 pages · Updated July 26, 2026
Pages
- Combining AI with Formal Verification for Efficient Migration of Legacy Code | Code Metal
- Code Migration with Formal Verification for Performance Improvement of Legacy Code | Code Metal
- AI-generated code that works — and proves it | Code Metal
- Code Metal Research
- Research Papers | Code Metal Research
- Verified Code Transpilation with LLMs | Code Metal
- UniPar: A Unified LLM-Based Framework for Parallel and Accelerated Code Translation in HPC | Code Metal
- MONOCODER: Domain-Specific Code Language Model for HPC Codes and Tasks | Code Metal
- Counting Without Running: Evaluating LLMs' Reasoning About Code Complexity | Code Metal
- Workflows vs Agents for Code Translation | Code Metal
- The Real Cost of Leaving NVIDIA | Code Metal