@article{maproofbenchatwotieredevaluationofllmsfo,
  title = {MA-ProofBench: A Two-Tiered Evaluation of LLMs for Theorem Proving in Mathematical Analysis},
  author = {Lushi Pu and Weiming Zhang and Xinheng Xie and Zixuan Fu and Bingxiang He and Hongya Lyu and Xin Li and Jie Zhou and Yudong Wang},
  year = {2026},
  eprint = {2606.13782},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2606.13782},
}