Finding a Crab in the C: Assured Translation via Comparative Symbolic Execution Caleb Helbling, Graham Leach-Krouse, Michael Crystal arxiv.org/abs/2605.12731 [𝚌𝚜.𝚂𝙴]
