TY  - RPRT
TI  - Lean-STaR: Learning to Interleave Thinking and Proving
AU  - Haohan Lin
AU  - Zhiqing Sun
AU  - Sean Welleck
AU  - Yiming Yang
PY  - 2025
UR  - https://arxiv.org/abs/2407.10040
ID  - 2407.10040
ER  -