conftrace_

retrospective ground-truth

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

informal reasoning (1) expert iteration (1) language model (1) theorem proving (1)

Papers

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