MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
Paper • 2606.13782 • Published • 2
Lushi Pu
daypu
·
AI & ML interests
Large Language Models
Recent Activity
authored a paper 4 days ago
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis new activity 5 days ago
openbmb/MA-ProofBench:Update READMEOrganizations
None yet
upvoted a paper 3 days ago