Lean-STaR: Learning to Interleave Thinking and Proving - Lin, Haohan; Sun, Zhiqing; Welleck, Sean; Yang, Yiming (International Conference on Learning Representations, 2025)