@misc{lin2024lean,
  title={Lean-STaR: Learning to Interleave Thinking and Proving},
  author={Haohan Lin and Zhiqing Sun and Yiming Yang and Sean Welleck},
  year={2024},
  eprint={2407.10040},
  archivePrefix={arXiv},
  primaryClass={cs.AI},
  url={https://arxiv.org/abs/2407.10040}
}