| GraphMR: Graph Neural Network for Mathematical Reasoning | Nov 1, 2021 | Graph Neural NetworkGraph-to-Sequence | —Unverified | 0 |
| Towards Tractable Mathematical Reasoning: Challenges, Strategies, and Opportunities for Solving Math Word Problems | Oct 29, 2021 | Answer GenerationMath | —Unverified | 0 |
| Training Verifiers to Solve Math Word Problems | Oct 27, 2021 | GSM8KMath | CodeCode Available | 3 |
| IconQA: A New Benchmark for Abstract Diagram Understanding and Visual Language Reasoning | Oct 25, 2021 | Arithmetic ReasoningMathematical Question Answering | CodeCode Available | 1 |
| Conjectures, Tests and Proofs: An Overview of Theory Exploration | Sep 7, 2021 | Automated Theorem ProvingMathematical Reasoning | —Unverified | 0 |
| A Reinforcement Learning Environment for Mathematical Reasoning via Program Synthesis | Jul 15, 2021 | Mathematical ReasoningProgram Synthesis | CodeCode Available | 1 |
| Reasoning with Transformer-based Models: Deep Learning, but Shallow Reasoning | Jun 22, 2021 | Deep LearningLogical Reasoning | CodeCode Available | 0 |
| LoRA: Low-Rank Adaptation of Large Language Models | Jun 17, 2021 | GPULanguage Modelling | CodeCode Available | 2 |
| GeoQA: A Geometric Question Answering Benchmark Towards Multimodal Numerical Reasoning | May 30, 2021 | MathMathematical Reasoning | CodeCode Available | 1 |
| Compositional Processing Emerges in Neural Networks Solving Math Problems | May 19, 2021 | MathMathematical Reasoning | CodeCode Available | 0 |
| Inter-GPS: Interpretable Geometry Problem Solving with Formal Language and Symbolic Reasoning | May 10, 2021 | Arithmetic ReasoningGeometry Problem Solving | CodeCode Available | 1 |
| Sustainability of Collusion and Market Transparency in a Sequential Search Market: a Generalization | May 5, 2021 | Mathematical Reasoning | —Unverified | 0 |
| The Role of General Intelligence in Mathematical Reasoning | Apr 27, 2021 | Mathematical Reasoning | —Unverified | 0 |
| Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units | Apr 7, 2021 | Mathematical Reasoning | —Unverified | 0 |
| Measuring Mathematical Problem Solving With the MATH Dataset | Mar 5, 2021 | MathMathematical Problem-Solving | CodeCode Available | 2 |
| LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning | Jan 15, 2021 | Inductive BiasMathematical Reasoning | CodeCode Available | 1 |
| SMART: A Situation Model for Algebra Story Problems via Attributed Grammar | Dec 27, 2020 | MathMathematical Reasoning | —Unverified | 0 |
| Noisy Deductive Reasoning: How Humans Construct Math, and How Math Constructs Universes | Oct 28, 2020 | MathMathematical Reasoning | —Unverified | 0 |
| Reverse Operation based Data Augmentation for Solving Math Word Problems | Oct 4, 2020 | Data AugmentationMath | CodeCode Available | 0 |
| DRLE: Decentralized Reinforcement Learning at the Edge for Traffic Light Control in the IoV | Sep 3, 2020 | Edge-computingManagement | CodeCode Available | 2 |
| Adventures in Mathematical Reasoning | Aug 20, 2020 | Mathematical Reasoning | —Unverified | 0 |
| IsarStep: a Benchmark for High-level Mathematical Reasoning | Jun 13, 2020 | Mathematical ProofsMathematical Reasoning | CodeCode Available | 1 |
| Mathematical Reasoning via Self-supervised Skip-tree Training | Jun 8, 2020 | Language ModelingLanguage Modelling | —Unverified | 0 |
| Compositional Generalization with Tree Stack Memory Units | Nov 5, 2019 | Mathematical ReasoningZero-shot Generalization | CodeCode Available | 0 |
| Mathematical Reasoning in Latent Space | Sep 26, 2019 | Mathematical Reasoning | —Unverified | 0 |
