mathematical reasoning

Reasoning in Large Language Models Through Symbolic Math Word Problems ACL 2023 Scalable and Explainable Automated Scoring for Open-Ended Constructed Response Math Word Problems ACL 2023 Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspective NeurIPS 2023 TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models EMNLP 2023 UniMath: A Foundational and Multimodal Mathematical Reasoner EMNLP 2023 World Models for Math Story Problems ACL 2023 An Augmented Benchmark Dataset for Geometric Question Answering through Dual Parallel Text Encoding COLING 2022 Keyword-based Natural Language Premise Selection for an Automatic Mathematical Statement Proving COLING 2022 LILA: A Unified Benchmark for Mathematical Reasoning EMNLP 2022 Multi-View Reasoning: Consistent Contrastive Learning for Math Word Problem EMNLP 2022 NumGLUE: A Suite of Fundamental yet Challenging Mathematical Reasoning Tasks ACL 2022 Solving Quantitative Reasoning Problems with Language Models NeurIPS 2022 UniGeo: Unifying Geometry Logical Reasoning via Reformulating Mathematical Expression EMNLP 2022 Weakly Supervised Formula Learner for Solving Mathematical Problems COLING 2022 GraphMR: Graph Neural Network for Mathematical Reasoning EMNLP 2021 Improving Math Word Problems with Pre-trained Knowledge and Hierarchical Reasoning EMNLP 2021 IsarStep: a Benchmark for High-level Mathematical Reasoning ICLR 2021 Learning Mathematical Properties of Integers EMNLP 2021 LIME: Learning Inductive Bias for Primitives of Mathematical Reasoning ICML 2021 Mathematical Reasoning via Self-supervised Skip-tree Training ICLR 2021 Measuring and Improving BERT’s Mathematical Abilities by Predicting the Order of Reasoning. ACL 2021 Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units AAAI 2021 Sequence to General Tree: Knowledge-Guided Geometry Word Problem Solving ACL 2021 SMART: A Situation Model for Algebra Story Problems via Attributed Grammar AAAI 2021 Machine Number Sense: A Dataset of Visual Arithmetic Problems for Abstract and Relational Reasoning AAAI 2020