@misc{indiciaee99b90d47678,
  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},
  url = {https://arxiv.org/abs/2606.13782},
  note = {Source identifier: 2606.13782}
}