MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis Paper • 2606.13782 • Published Jun 11 • 2
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis Paper • 2606.13782 • Published Jun 11 • 2
UltraData Collection Ultra Scale, Ultra Quality, Ultra Coverage • 14 items • Updated 15 days ago • 101