backtracking
- Bootstrapping Hierarchical Autoregressive Formal Reasoner with Chain-of-Proxy-Autoformalization
- On the Bias of Next-Token Predictors Toward Systematically Inefficient Reasoning: A Shortest-Path Case Study
- Reasoning Models Better Express Their Confidence
- Teaching Transformers to Solve Combinatorial Problems through Efficient Trial & Error
- Thinking vs. Doing: Improving Agent Reasoning by Scaling Test-Time Interaction