conftrace_

program execution trace

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

verification quality (1) code reasoning (1) chain of thought (1) execution trace (1) graphical model (1) closed-form solution (1) software debugging (1) bug localization (1) bayesian inference (1)

Papers

Think Like You Execute: Verifiable Chain of Thought from Program Traces ACL 2026 Localizing Bugs in Program Executions with Graphical Models NeurIPS 2009