| Practice Makes a Solver Perfect: Data Augmentation for Math Word Problem Solvers | Apr 30, 2022 | Data AugmentationDiversity | CodeCode Available | 0 |
| Short-time asymptotics for non self-similar stochastic volatility models | Apr 21, 2022 | Math | —Unverified | 0 |
| SymForce: Symbolic Computation and Code Generation for Robotics | Apr 17, 2022 | Code GenerationMath | CodeCode Available | 3 |
| Assessing hierarchies by their consistent segmentations | Apr 11, 2022 | MathSegmentation | CodeCode Available | 0 |
| DISK: Domain-constrained Instance Sketch for Math Word Problem Generation | Apr 10, 2022 | Math | —Unverified | 0 |
| The TalkMoves Dataset: K-12 Mathematics Lesson Transcripts Annotated for Teacher and Student Discursive Moves | Apr 6, 2022 | MathSentence | CodeCode Available | 1 |
| PaLM: Scaling Language Modeling with Pathways | Apr 5, 2022 | Auto DebuggingCode Generation | CodeCode Available | 2 |
| Self-Consistency Improves Chain of Thought Reasoning in Language Models | Mar 21, 2022 | ARCArithmetic Reasoning | CodeCode Available | 1 |
| Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information Retrieval | Mar 21, 2022 | Information RetrievalMath | CodeCode Available | 0 |
| Learning to Reason Deductively: Math Word Problem Solving as Complex Relation Extraction | Mar 19, 2022 | MathMath Word Problem Solving | CodeCode Available | 1 |
| Memorizing Transformers | Mar 16, 2022 | Language ModelingLanguage Modelling | CodeCode Available | 2 |
| AIFB-WebScience at SemEval-2022 Task 12: Relation Extraction First -- Using Relation Extraction to Identify Entities | Mar 10, 2022 | Joint Entity and Relation ExtractionMath | CodeCode Available | 0 |
| Homeostatic Mechanisms in Biological Systems | Feb 22, 2022 | Math | —Unverified | 0 |
| Identifying equivalent Calabi--Yau topologies: A discrete challenge from math and physics for machine learning | Feb 15, 2022 | BIG-bench Machine LearningMath | —Unverified | 0 |
| Training and Evaluating a Jupyter Notebook Data Science Assistant | Jan 30, 2022 | Math | CodeCode Available | 1 |
| Chain-of-Thought Prompting Elicits Reasoning in Large Language Models | Jan 28, 2022 | Common Sense ReasoningGSM8K | CodeCode Available | 6 |
| Reasoning Like Program Executors | Jan 27, 2022 | Logical ReasoningMath | —Unverified | 0 |
| Unbiased Math Word Problems Benchmark for Mitigating Solving Bias | Jan 16, 2022 | Math | —Unverified | 0 |
| ComSearch: Equation Searching with Combinatorial Mathematics for Solving Math Word Problems with Weak Supervision | Jan 16, 2022 | Math | —Unverified | 0 |
| MWP-BERT: Numeracy-Augmented Pre-training for Math Word Problem Solving | Jan 16, 2022 | Language ModelingLanguage Modelling | —Unverified | 0 |
| Investigating Math Word Problems using Pretrained Multilingual Language Models | Jan 16, 2022 | Machine TranslationMath | —Unverified | 0 |
| Auto-regressive Text Generation with Pre-Trained Language Models: An Empirical Study on Question-type Short Text Generation | Jan 16, 2022 | MathText Generation | —Unverified | 0 |
| Multi-Stage Pre-Training for Math-Understanding: ^2(AL)BERT | Jan 16, 2022 | Language ModelingLanguage Modelling | —Unverified | 0 |
| Why are NLP Models Fumbling at Elementary Math? A Survey of Automatic Word Problem Solvers | Jan 16, 2022 | MathMathematical Reasoning | —Unverified | 0 |
| Permuted and Unlinked Monotone Regression in R^d: an approach based on mixture modeling and optimal transport | Jan 10, 2022 | DenoisingMath | —Unverified | 0 |
| Semantic-based Data Augmentation for Math Word Problems | Jan 7, 2022 | Data AugmentationMath | —Unverified | 0 |
| Towards Trustworthy AutoGrading of Short, Multi-lingual, Multi-type Answers | Jan 2, 2022 | MathVocal Bursts Type Prediction | —Unverified | 0 |
| Accelerating Neural Network Optimization Through an Automated Control Theory Lens | Jan 1, 2022 | Math | —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 |
| WARM: A Weakly (+Semi) Supervised Math Word Problem Solver | Dec 17, 2021 | Math | —Unverified | 0 |
| Backward bifurcation and saddle-node bifurcation in virus-immune dynamics | Dec 1, 2021 | Math | —Unverified | 0 |
| Effects of context, complexity, and clustering on evaluation for math formula retrieval | Nov 20, 2021 | ClusteringMath | —Unverified | 0 |
| ComSearch: Equation Searching with Combinatorial Mathematics for Solving Math Word Problems with Weak Supervision | Nov 16, 2021 | Math | —Unverified | 0 |
| Uncertainty-Based Joint Training For Semi-Supervised Math Word Problem | Nov 16, 2021 | Math | —Unverified | 0 |
| Continual Pre-training of Language Models for Math Problem Understanding with Syntax-Aware Memory Network | Nov 16, 2021 | Math | —Unverified | 0 |
| Solving Linear Algebra by Program Synthesis | Nov 16, 2021 | MathProgram Synthesis | —Unverified | 0 |
| Self-Competitive Learning for Solving Math Word Problem | Nov 16, 2021 | Math | —Unverified | 0 |
| Improving Equation Set Problems with Label Augmentation | Nov 16, 2021 | DecoderMath | —Unverified | 0 |
| Reasoning Like Program Executors | Nov 16, 2021 | Logical ReasoningMath | —Unverified | 0 |
| MATHion: Solving Math Word Problems with Logically Consistent Problems | Nov 16, 2021 | Language ModelingLanguage Modelling | —Unverified | 0 |
| Hierarchical Attention Decoder for Solving Math Word Problems | Nov 16, 2021 | DecoderMath | —Unverified | 0 |
| Towards Interpretable Math Word Problem Solving with Grounded Linguistic Logic Reasoning | Nov 16, 2021 | MathMath Word Problem Solving | —Unverified | 0 |
| Solving Linear Algebra by Program Synthesis | Nov 16, 2021 | MathProgram Synthesis | —Unverified | 0 |
| Heteroclinic cycling and extinction in May-Leonard models with demographic stochasticity | Nov 10, 2021 | MathUnity | CodeCode Available | 0 |
| Mechanochemical models for calcium waves in embryonic epithelia | Nov 3, 2021 | Math | —Unverified | 0 |
| Mapping probability word problems to executable representations | Nov 1, 2021 | Contextualised Word RepresentationsMath | —Unverified | 0 |
| Improving Math Word Problems with Pre-trained Knowledge and Hierarchical Reasoning | Nov 1, 2021 | MathSentence | —Unverified | 0 |
| An Edge-Enhanced Hierarchical Graph-to-Tree Network for Math Word Problem Solving | Nov 1, 2021 | DecoderMath | CodeCode Available | 0 |
| Approximation properties of Residual Neural Networks for Kolmogorov PDEs | Oct 30, 2021 | image-classificationImage Classification | —Unverified | 0 |
| Towards Tractable Mathematical Reasoning: Challenges, Strategies, and Opportunities for Solving Math Word Problems | Oct 29, 2021 | Answer GenerationMath | —Unverified | 0 |