automated theorem proving

3 papers

• APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning
• MPS-Prover: Advancing Stepwise Theorem Proving by Multi-Perspective Search and Data Curation
• Reviving DSP for Advanced Theorem Proving in the Era of Reasoning Models