| Peano: Learning Formal Mathematical Reasoning | Nov 29, 2022 | Automated Theorem ProvingMathematical Reasoning | CodeCode Available | 1 |
| PAL: Program-aided Language Models | Nov 18, 2022 | Arithmetic ReasoningGSM8K | CodeCode Available | 3 |
| LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions | Nov 16, 2022 | LEMMAMathematical Reasoning | CodeCode Available | 0 |
| Galactica: A Large Language Model for Science | Nov 16, 2022 | AnachronismsBias Detection | CodeCode Available | 4 |
| Overcoming Barriers to Skill Injection in Language Modeling: Case Study in Arithmetic | Nov 3, 2022 | Arithmetic ReasoningLanguage Modeling | CodeCode Available | 0 |
| Blank Collapse: Compressing CTC emission for the faster decoding | Oct 31, 2022 | Automatic Speech RecognitionAutomatic Speech Recognition (ASR) | CodeCode Available | 0 |
| Lila: A Unified Benchmark for Mathematical Reasoning | Oct 31, 2022 | DiversityMathematical Reasoning | CodeCode Available | 1 |
| A Causal Framework to Quantify the Robustness of Mathematical Reasoning with Language Models | Oct 21, 2022 | MathMathematical Reasoning | CodeCode Available | 1 |
| Multi-View Reasoning: Consistent Contrastive Learning for Math Word Problem | Oct 21, 2022 | Contrastive LearningMath | CodeCode Available | 2 |
| Composing Ensembles of Pre-trained Models via Iterative Consensus | Oct 20, 2022 | Arithmetic ReasoningImage Generation | —Unverified | 0 |
| Learning to Reason With Relational Abstractions | Oct 6, 2022 | Mathematical Reasoning | —Unverified | 0 |
| Language Models Are Greedy Reasoners: A Systematic Formal Analysis of Chain-of-Thought | Oct 3, 2022 | Mathematical ReasoningQuestion Answering | CodeCode Available | 3 |
| Weakly Supervised Formula Learner for Solving Mathematical Problems | Oct 1, 2022 | Mathematical ReasoningQuestion Answering | CodeCode Available | 0 |
| Dynamic Prompt Learning via Policy Gradient for Semi-structured Mathematical Reasoning | Sep 29, 2022 | Logical ReasoningMath | CodeCode Available | 1 |
| CLEVR-Math: A Dataset for Compositional Language, Visual and Mathematical Reasoning | Aug 10, 2022 | MathMathematical Reasoning | CodeCode Available | 1 |
| Transformers discover an elementary calculation system exploiting local attention and grid-like problem representation | Jul 6, 2022 | Mathematical Reasoning | CodeCode Available | 0 |
| MMTM: Multi-Tasking Multi-Decoder Transformer for Math Word Problems | Jun 2, 2022 | DecoderMath | —Unverified | 0 |
| Why are NLP Models Fumbling at Elementary Math? A Survey of Deep Learning based Word Problem Solvers | May 31, 2022 | MathMathematical Reasoning | —Unverified | 0 |
| NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks | Apr 12, 2022 | Arithmetic ReasoningMathematical Reasoning | —Unverified | 0 |
| Training Compute-Optimal Large Language Models | Mar 29, 2022 | AnachronismsAnalogical Similarity | CodeCode Available | 6 |
| Enhancing Neural Mathematical Reasoning by Abductive Combination with Symbolic Library | Mar 28, 2022 | Logical ReasoningMathematical Reasoning | —Unverified | 0 |
| Why are NLP Models Fumbling at Elementary Math? A Survey of Automatic Word Problem Solvers | Jan 16, 2022 | MathMathematical Reasoning | —Unverified | 0 |
| A Neural Network Solves, Explains, and Generates University Math Problems by Program Synthesis and Few-Shot Learning at Human Level | Dec 31, 2021 | Few-Shot LearningLanguage Modelling | CodeCode Available | 1 |
| Scaling Language Models: Methods, Analysis & Insights from Training Gopher | Dec 8, 2021 | Abstract AlgebraAnachronisms | CodeCode Available | 2 |
| Theoretical Analysis of an XGBoost Framework for Product Cannibalization | Dec 2, 2021 | Mathematical Reasoning | —Unverified | 0 |
| 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 |
