Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
All Papers
0 / 0 papers shown
Title
Home
Papers
2512.00127
Cited By
Generating Verifiable CoT from Execution-Traces
28 November 2025
Shailja Thakur
Vaibhav Saxena
Rohan Kulkarni
Shivdeep Singh
Parameswaran Selvam
Hima Patel
Hiroshi Kanayama
ReLM
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Github
Papers citing
"Generating Verifiable CoT from Execution-Traces"
0 / 0 papers shown
Title
No papers found