1
MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
新基准MA-ProofBench通过两层级评估体系，系统检测LLM在数学分析定理证明中的推理边界与能力短板。
arXiv:2606.13782v1 Announce Type: new Abstract: Large Language Models (LLMs) have made notable progress in automated theorem proving, yet existing for…