Haohan Lin, Zhiqing Sun, Sean Welleck, Yiming Yang. Lean-STaR: Learning to Interleave Thinking and Proving. In The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025. OpenReview.net, 2025. [doi]
@inproceedings{LinSWY25,
title = {Lean-STaR: Learning to Interleave Thinking and Proving},
author = {Haohan Lin and Zhiqing Sun and Sean Welleck and Yiming Yang},
year = {2025},
url = {https://openreview.net/forum?id=SOWZ59UyNc},
researchr = {https://researchr.org/publication/LinSWY25},
cites = {0},
citedby = {0},
booktitle = {The Thirteenth International Conference on Learning Representations, ICLR 2025, Singapore, April 24-28, 2025},
publisher = {OpenReview.net},
}