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