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
0
0
0
0