@article{leanprogressguidingsearchforneural,
  title = {LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction},
  author = {Suozhi Huang and Peiyang Song and Robert Joseph George and Anima Anandkumar},
  year = {2025},
  eprint = {2502.17925},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2502.17925v1},
}