LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction

Robert Joseph George, Suozhi Huang, Peiyang Song, Anima Anandkumar

Action editor: Lingpeng Kong

https://openreview.net/forum?id=eTmOwvvRu9

#formalizations #formalization #leanprogress