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