| Semantic Parsing of Pre-university Math Problems | Jul 1, 2017 | MathSemantic Parsing | —Unverified | 0 |
| Atari games and Intel processors | May 19, 2017 | Atari GamesBIG-bench Machine Learning | —Unverified | 0 |
| A Survey of Question Answering for Math and Science Problem | May 10, 2017 | MathQuestion Answering | —Unverified | 0 |
| A Rule-Based Computational Model of Cognitive Arithmetic | May 3, 2017 | Mathmodel | —Unverified | 0 |
| Introduction To The Monogenic Signal | Mar 27, 2017 | Math | CodeCode Available | 0 |
| Working memory capacity and gender | Mar 21, 2017 | Math | —Unverified | 0 |
| Neural Machine Translation and Sequence-to-sequence Models: A Tutorial | Mar 5, 2017 | Machine TranslationMath | CodeCode Available | 0 |
| metboost: Exploratory regression analysis with hierarchically clustered data | Feb 13, 2017 | MathMissing Values | CodeCode Available | 0 |
| Unit Dependency Graph and its Application to Arithmetic Word Problem Solving | Dec 3, 2016 | MathNatural Language Understanding | —Unverified | 0 |
| A Meaning-based English Math Word Problem Solver with Understanding, Reasoning and Explanation | Dec 1, 2016 | Math | —Unverified | 0 |
| dMath: Distributed Linear Algebra for DL | Nov 19, 2016 | GPUManagement | —Unverified | 0 |
| A Theme-Rewriting Approach for Generating Algebra Word Problems | Oct 19, 2016 | MathText Generation | —Unverified | 0 |
| 構建一個中文國小數學文字問題語料庫(Building a Corpus for Developing the Chinese Elementary School Math Word Problem Solver)[In Chinese] | Oct 1, 2016 | Math | —Unverified | 0 |
| How well do Computers Solve Math Word Problems? Large-Scale Dataset Construction and Evaluation | Aug 1, 2016 | Community Question AnsweringMath | —Unverified | 0 |
| A Tag-based English Math Word Problem Solver with Understanding, Reasoning and Explanation | Jun 1, 2016 | MathTAG | —Unverified | 0 |
| MAWPS: A Math Word Problem Repository | Jun 1, 2016 | MathMath Word Problem Solving | CodeCode Available | 0 |
| Illinois Math Solver: Math Reasoning on the Web | Jun 1, 2016 | MathMath Word Problem Solving | —Unverified | 0 |
| dMath: A Scalable Linear Algebra and Math Library for Heterogeneous GP-GPU Architectures | Apr 5, 2016 | GPUManagement | —Unverified | 0 |
| Asymptotic expression for the fixation probability of a mutant in star graphs | Mar 18, 2016 | Math | —Unverified | 0 |
| A Method to Support Difficult Re-finding Tasks | Jan 27, 2016 | Math | —Unverified | 0 |
| Designing a Tag-Based Statistical Math Word Problem Solver with Reasoning and Explanation | Oct 1, 2015 | MathReading Comprehension | —Unverified | 0 |
| Explanation Generation for a Math Word Problem Solver | Oct 1, 2015 | Explanation GenerationMath | —Unverified | 0 |
| A risk analysis for a system stabilized by a central agent | Aug 17, 2015 | Math | —Unverified | 0 |
| The Tangent Search Engine: Improved Similarity Metrics and Scalability for Math Formula Search | Jul 22, 2015 | Information RetrievalMath | —Unverified | 0 |
| Embedded Phase Shifting: Robust Phase Shifting With Embedded Signals | Jun 1, 2015 | MathQuantization | —Unverified | 0 |
| Performance Evaluation and Optimization of Math-Similarity Search | May 29, 2015 | Math | —Unverified | 0 |
| Math Search for the Masses: Multimodal Search Interfaces and Appearance-Based Retrieval | May 11, 2015 | MathRetrieval | —Unverified | 0 |
| A novel variational model for image registration using Gaussian curvature | Apr 28, 2015 | Image RegistrationMath | —Unverified | 0 |
| Approximating Sparse PCA from Incomplete Data | Mar 12, 2015 | Math | —Unverified | 0 |
| Reasoning about Quantities in Natural Language | Jan 1, 2015 | MathNatural Language Inference | —Unverified | 0 |
| Weighted Polynomial Approximations: Limits for Learning and Pseudorandomness | Dec 8, 2014 | Math | —Unverified | 0 |
| A Joint Probabilistic Classification Model of Relevant and Irrelevant Sentences in Mathematical Word Problems | Nov 21, 2014 | ClassificationGeneral Classification | —Unverified | 0 |
| The Effect of Teacher Gender on Student Achievement in Primary School | Oct 31, 2014 | Math | —Unverified | 0 |
| Feature Selection Based on Confidence Machine | Oct 20, 2014 | feature selectionMath | —Unverified | 0 |
| A Bayesian model for recognizing handwritten mathematical expressions | Sep 18, 2014 | Mathmodel | —Unverified | 0 |
| OntoMath^PRO Ontology: A Linked Data Hub for Mathematics | Jul 17, 2014 | Math | CodeCode Available | 0 |
| Les mathématiques de la langue : l'approche formelle de Montague | May 16, 2014 | Math | —Unverified | 0 |
| The Complexity of Math Problems -- Linguistic, or Computational? | Oct 1, 2013 | MathSemantic Composition | —Unverified | 0 |
| Empirical entropy, minimax regret and minimax risk | Aug 6, 2013 | Mathregression | —Unverified | 0 |
| Dimension Reduction via Colour Refinement | Jul 22, 2013 | Dimensionality ReductionIsomorphism Testing | —Unverified | 0 |
| Zero-sum repeated games: Counterexamples to the existence of the asymptotic value and the conjecture maxmin=limv_n | May 21, 2013 | Math | —Unverified | 0 |
| Digenes: genetic algorithms to discover conjectures about directed and undirected graphs | Apr 30, 2013 | Math | —Unverified | 0 |
| On the definition of a confounder | Apr 2, 2013 | Causal Inferencecounterfactual | —Unverified | 0 |
| Local and global asymptotic inference in smoothing spline models | Dec 30, 2012 | Mathvalid | —Unverified | 0 |
| Optimal classification in sparse Gaussian graphic model | Dec 21, 2012 | ClassificationGeneral Classification | —Unverified | 0 |
| Permutation Complexity Bound on Out-Sample Error | Dec 1, 2010 | Math | —Unverified | 0 |