Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2502.17925
Cited By
LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction
25 February 2025
Suozhi Huang
Peiyang Song
Robert Joseph George
Anima Anandkumar
AI4TS
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"LeanProgress: Guiding Search for Neural Theorem Proving via Proof Progress Prediction"
1 / 1 papers shown
Title
Building A Proof-Oriented Programmer That Is 64% Better Than GPT-4o Under Data Scarcity
Dylan Zhang
Justin Wang
Tianran Sun
45
1
0
17 Feb 2025
1
