AI RESEARCH
Generating Verifiable Chain of Thoughts from Exection-Traces
arXiv CS.AI
•
ArXi:2512.00127v3 Announce Type: replace-cross Getting language models to reason correctly about code requires