| 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 |