Instruct: Given the title of a scientific paper, retrieve paper titles that are cited by the given paper
Query: Machine-guided Solution to Mathematical Word Problems
Automatic Text Categorization of Mathematical Word Problems
MathDQN: Solving Arithmetic Word Problems via Deep Reinforcement Learning
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
A fully automatic problem solver with human-style output
The Role of Pragmatics in Solving the Winograd Schema Challenge
Solving General Arithmetic Word Problems
Planning, Executing, and Evaluating the Winograd Schema Challenge
Collaborative problem solving: a study of MathOverflow
The Winograd Schema Challenge
Solving Bongard Problems with a Visual Language and Pragmatic Reasoning
Recognition and retrieval of mathematical expressions
Mathematical problem solving by analogy.
PowerPlay: Training an Increasingly General Problem Solver by Continually Searching for the Simplest Still Unsolvable Problem
More on the Fragility of Performance: Choking Under Pressure in Mathematical Problem Solving.
Cause-effect knowledge acquisition and neural association model for solving a set of winograd schema problems
A Generalized Knowledge Hunting Framework for the Winograd Schema Challenge
Towards a Taxonomy of Problem Solving Types
Learn to Solve Algebra Word Problems Using Quadratic Programming
Assessing Bootstrap: Algebra Students on Scaffolded and Unscaffolded Word Problems
A Survey of Question Answering for Math and Science Problem
A Genetic Algorithm-Based Heterogeneous Random Subspace Ensemble Model for Bankruptcy Prediction
Co-simulation framework for design of time-triggered cyber physical systems
A Novel Real-time Highway Visibility Measurement System Based on Dark Channel Prior
Text categorization with support vector machines: Learning with many relevant features
A Verification Platform for SDN-Enabled Applications