conftrace_

informal reasoning

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

retrospective ground-truth (1) expert iteration (1) language model (1) theorem proving (1)

Papers

Lean-STaR: Learning to Interleave Thinking and Proving ICLR 2025