TY  - RPRT
TI  - MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis
AU  - Lushi Pu
AU  - Weiming Zhang
AU  - Xinheng Xie
AU  - Zixuan Fu
AU  - Bingxiang He
AU  - Hongya Lyu
AU  - Xin Li
AU  - Jie Zhou
AU  - Yudong Wang
PY  - 2026
UR  - https://arxiv.org/abs/2606.13782
ID  - 2606.13782
ER  -