← Search

Maizhen Ning

3 accepted papers

2025

GNS: Solving Plane Geometry Problems by Neural-Symbolic Reasoning with Multi-Modal LLMs

AAAI 2025technical

With the outstanding capabilities of Large Language Models (LLMs), solving math word problems (MWP) has greatly progressed, achieving higher performance on several benchmark datasets. However, it is more challenging to solve plane geometry problems (PGPs) due to the necessity of understanding, rea…

2025

Is Your Model Really A Good Math Reasoner? Evaluating Mathematical Reasoning with Checklist

ICLR 2025poster

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 mathematical abilities of LLMs, and even reflect the user experience in real-world scenarios, has emerged as a critical iss…

Cited by 25SourcePDFScholar
2023

Learning by Analogy: Diverse Questions Generation in Math Word Problem

ACL 2023findings

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 the ability of learning by analogy is essential for an MWP solver to better understand same problems which may typically…