MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? - Zhitao He 001; Zongwei Lyu; Dazhong Chen; Dadi Guo; Yi R. Fung 001 (CoRR, 2025)