作者位次 #2/7ACL 2026Poster· ACL Industry Track
Think Like You Execute: Verifiable Chain of Thought from Program Traces
Shailja Thakur · Vaibhav Saxena · Rohan Kulkarni · Shivdeep Singh · Parameswaran Selvam · Hiroshi Kanayama · Hima Patel
摘要
Teaching language models to reason about code execution is still an open problem. 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. This causes models to learn l...