TY  - RPRT
TI  - Quantitative Comparison of Credible Compilation and Verification In Coding Agent Compiler Development
AU  - Martin Rinard
PY  - 2026
UR  - https://arxiv.org/abs/2605.08927
ID  - 2605.08927
ER  -