Lin, Haohan

2 publications

ICLR 2025 Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin, Zhiqing Sun, Sean Welleck, Yiming Yang

NeurIPSW 2024 Lean-STaR: Learning to Interleave Thinking and Proving Haohan Lin, Zhiqing Sun, Sean Welleck, Yiming Yang