@misc{indiciaede8cf2ae2dc2,
  title = {Generating Verifiable Chain of Thoughts from Exection-Traces},
  author = {Shailja Thakur and Vaibhav Saxena and Rohan Kulkarni and Shivdeep Singh and Parameswaran Selvam and Hima Patel and Hiroshi Kanayama},
  year = {2026},
  url = {https://arxiv.org/abs/2512.00127},
  note = {Source identifier: 2512.00127}
}