Let gpt be a math tutor: Teaching math word problem solvers with customized exercise generation
In this paper, we present a novel approach for distilling math word problem solving
capabilities from large language models (LLMs) into smaller, more efficient student models …
capabilities from large language models (LLMs) into smaller, more efficient student models …
Unigeo: Unifying geometry logical reasoning via reformulating mathematical expression
Geometry problem solving is a well-recognized testbed for evaluating the high-level multi-
modal reasoning capability of deep models. In most existing works, two main geometry …
modal reasoning capability of deep models. In most existing works, two main geometry …
Dq-lore: Dual queries with low rank approximation re-ranking for in-context learning
Recent advances in natural language processing, primarily propelled by Large Language
Models (LLMs), have showcased their remarkable capabilities grounded in in-context …
Models (LLMs), have showcased their remarkable capabilities grounded in in-context …
Logicsolver: Towards interpretable math word problem solving with logical prompt-enhanced learning
Recently, deep learning models have made great progress in MWP solving on answer
accuracy. However, they are uninterpretable since they mainly rely on shallow heuristics to …
accuracy. However, they are uninterpretable since they mainly rely on shallow heuristics to …
Worldsense: A synthetic benchmark for grounded reasoning in large language models
We propose WorldSense, a benchmark designed to assess the extent to which LLMs are
consistently able to sustain tacit world models, by testing how they draw simple inferences …
consistently able to sustain tacit world models, by testing how they draw simple inferences …
Learning by analogy: Diverse questions generation in math word problem
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 …
with the success of deep neural networks (DNN), but it is far from being solved. We argue …
An expression tree decoding strategy for mathematical equation generation
Generating mathematical equations from natural language requires an accurate
understanding of the relations among math expressions. Existing approaches can be …
understanding of the relations among math expressions. Existing approaches can be …
ATHENA: Mathematical reasoning with thought expansion
Solving math word problems depends on how to articulate the problems, the lens through
which models view human linguistic expressions. Real-world settings count on such a …
which models view human linguistic expressions. Real-world settings count on such a …
[PDF][PDF] Don't be Blind to Questions: Question-Oriented Math Word Problem Solving
Solving math word problems (MWP) is a challenging task for natural language processing
systems, as it requires to not only identify and comprehend the problem description within …
systems, as it requires to not only identify and comprehend the problem description within …
AlignedCoT: Prompting Large Language Models via Native-Speaking Demonstrations
Abstract Large Language Models prompting, such as using in-context demonstrations, is a
mainstream technique for invoking LLMs to perform high-performance and solid complex …
mainstream technique for invoking LLMs to perform high-performance and solid complex …