MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
Paper
•
2505.10962
•
Published
•
7
liyang
younglee
AI & ML interests
None yet
Recent Activity
Organizations
None yet