@misc{indiciae45669fa9df3e,
  title = {MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?},
  author = {Zhitao He and Zongwei Lyu and Dazhong Chen and Dadi Guo and Yi R. Fung},
  year = {2025},
  url = {https://arxiv.org/abs/2506.06034},
  note = {Source identifier: 2506.06034}
}