2 citations · 6 across the 7 of their papers we have counts for
7 papers
Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics
Junqi Liu, Zihao Zhou, Zekai Zhu +10
Agentic systems have recently become the dominant paradigm for formal theorem proving, achieving strong performance by coordinating multiple models and tools. However, existing app…
Can MLLMs Absorb Math Reasoning Abilities from LLMs as Free Lunch?
Yijie Hu, Zihao Zhou, Kaizhu Huang +2
Math reasoning has been one crucial ability of large language models (LLMs), where significant advancements have been achieved in recent years. However, most efforts focus on LLMs…
GeoSDF: Plane Geometry Diagram Synthesis via Signed Distance Field
Chengrui Zhang, Maizhen Ning, Tianyi Liu +4
Plane Geometry Diagram Synthesis has been a crucial task in computer graphics, with applications ranging from educational tools to AI-driven mathematical reasoning. Traditionally,…
Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist
Zihao Zhou, Shudong Liu, Maizhen Ning +6
Exceptional mathematical reasoning ability is one of the key features that demonstrate the power of large language models (LLMs). How to comprehensively define and evaluate the mat…
MathAttack: Attacking Large Language Models Towards Math Solving Ability
Zihao Zhou, Qiufeng Wang, Mingyu Jin +6
With the boom of Large Language Models (LLMs), the research of solving Math Word Problem (MWP) has recently made great progress. However, there are few studies to examine the secur…
Solving Math Word Problem with Problem Type Classification
Jie Yao, Zihao Zhou, Qiufeng Wang
Math word problems (MWPs) require analyzing text descriptions and generating mathematical equations to derive solutions. Existing works focus on solving MWPs with two types of solv…
Learning by Analogy: Diverse Questions Generation in Math Word Problem
Zihao Zhou, Maizhen Ning, Qiufeng Wang +4
Solving math word problem (MWP) with AI techniques has recently made great progress with the success of deep neural networks (DNN), but it is far from being solved. We argue that t…