Fidelity-Graded Translation Calculus for LLM-Generated Code Verification

Jul 17, 2026

Researchers introduce a new calculus for verified translation that models translations as a graph with fidelity grades, enabling compositional correctness checking across multiple languages and translation routes. The approach is implemented in the hurdy-gurdy platform, which supports 13 languages and translation pairs, with all code and most of the paper generated by LLMs and the architecture serving as the semantic gatekeeper. Experiments include conjoined coverage, branch agreement, compliance-derived benchmarks, witness replay, certified unreachability, and escape-rate analysis. This work demonstrates a scalable, architecture-driven method for verifying LLM-generated code translations without relying on trust in individual authors.

Why it matters: This approach could enable scalable, community-driven expansion of verified language support for LLM-generated code by relying on architectural cross-checks rather than author trust.

Full story at: arXiv Software Engineering ↗