Cita APA (7a ed.)

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?

Cita Chicago Style (17a ed.)

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

Cita MLA (9a ed.)

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