Papers by Parameswaran Selvam
Think Like You Execute: Verifiable Chain of Thought from Program Traces (2026.acl-industry)
Copied to clipboard
Shailja Thakur, Vaibhav Saxena, Rohan Kulkarni, Shivdeep Singh, Parameswaran Selvam, Hiroshi Kanayama, Hima Patel
| Challenge: | Current synthetic Chain-of-Thought (CoT) training data often consists of plausible-sounding explanations generated by teacher models, not verifiable accounts of actual program behavior. |
| Approach: | They propose to ground CoT generation directly in program execution traces to improve reasoning capabilities. |
| Outcome: | The proposed pipeline improves performance on live code benchmarks and on cruxEval-output and cruxeval-input. |