@misc{indiciaea50aad4233f0,
  title = {LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction},
  author = {Robert Joseph George and Suozhi Huang and Peiyang Song and Anima Anandkumar},
  year = {2026},
  url = {https://arxiv.org/abs/2502.17925},
  note = {Source identifier: 2502.17925}
}