MATP-BENCH: Can MLLM Be a Good Automated Theorem Prover for Multimodal Problems?

LRMRe-assign community