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

6 June 2025

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

5 / 5 papers shown

Title
Lean4Physics: Comprehensive Reasoning Framework for College-level Physics in Lean4 Yuxin Li Minghao Liu Ruida Wang Wenzhao Ji Zhitao He Rui Pan J. Huang Tong Zhang Yi R. Fung 113 0 0 30 Oct 2025
GeoSketch: A Neural-Symbolic Approach to Geometric Multimodal Reasoning with Auxiliary Line Construction and Affine Transformation Shichao Weng Zhiqiang Wang Yuhua Zhou Rui Lu Ting Liu Zhiyang Teng Xiaozhang Liu Hanmeng Liu LRM 131 2 0 26 Sep 2025
LeanGeo: Formalizing Competitional Geometry problems in Lean Chendong Song Zihan Wang Frederick Pu Haiming Wang Xiaohan Lin Junqi Liu Jia-Nan Li Zhengying Liu LRM 124 0 0 20 Aug 2025
Let's Reason Formally: Natural-Formal Hybrid Reasoning Enhances LLM's Math Capability Ruida Wang Yuxin Li Yi R. Fung LRM 277 6 0 29 May 2025
MAC-Tuning: LLM Multi-Compositional Problem Reasoning with Enhanced Knowledge Boundary Awareness Junsheng Huang Zhitao He Yucheng Huang Sandeep Polisetty Q. Wang May Fung KELM 420 3 0 30 Apr 2025