TY  - RPRT
TI  - MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?
AU  - Zhitao He
AU  - Zongwei Lyu
AU  - Dazhong Chen
AU  - Dadi Guo
AU  - Yi R. Fung
PY  - 2025
UR  - https://arxiv.org/abs/2506.06034
ID  - 2506.06034
ER  -