Lean-STaR: Learning to Interleave Thinking and Proving.

Haohan Lin, Zhiqing Sun, Sean Welleck, Yiming Yang

Browse the full ICLR paper archive.