TY  - RPRT
TI  - Generating Verifiable Chain of Thoughts from Exection-Traces
AU  - Shailja Thakur
AU  - Vaibhav Saxena
AU  - Rohan Kulkarni
AU  - Shivdeep Singh
AU  - Parameswaran Selvam
AU  - Hima Patel
AU  - Hiroshi Kanayama
PY  - 2026
UR  - https://arxiv.org/abs/2512.00127
ID  - 2512.00127
ER  -