conftrace_

verification quality

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

program execution trace (1) code reasoning (1) chain of thought (1)

Papers

Think Like You Execute: Verifiable Chain of Thought from Program Traces ACL 2026