APA (7th ed.) Citation

He, Z., Lyu, Z., Chen, D., Guo, D., & Fung, Y. R. (2025). MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

Chicago Style (17th ed.) Citation

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

MLA (9th ed.) Citation

He, Zhitao, et al. MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems? 2025.