Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: Using Intermediate Representations to Solve Math Word Problems
Learning to Solve Arithmetic Word Problems with Verb Categorization
Interleaved Practice Improves Mathematics Learning
Automatic assessment and immediate feedback in first grade mathematics
A prospective on mathematics and artificial intelligence: Problem solving=Modeling+Theorem proving
Natural Language Processing for Solving Simple Word Problems
Automatic Text Categorization of Mathematical Word Problems
Recognition and retrieval of mathematical expressions
MathDQN: Solving Arithmetic Word Problems via Deep Reinforcement Learning
Using multiple representations to develop notational expertise in programming
Pegasus: An Efficient Intermediate Representation
The application of dual coding theory in multi-representational virtual mathematics environments
On Attempting to Model the Mathematical Mind.
techniques for generating math word questions for learning disabilities .
Scaling Up Programming by Demonstration for Intelligent Tutoring Systems Development: An Open-Access Web Site for Middle School Mathematics Learning
Evaluation of representations in AI problem solving
Short-Term Memory, Working Memory, and Inhibitory Control in Children with Difficulties in Arithmetic Problem Solving
Collaborative problem solving: a study of MathOverflow
Explanation Generation for a Math Word Problem Solver
Mathematical Language Processing: Automatic Grading and Feedback for Open Response Mathematical Questions
Computer Aided Instruction as a Vehicle for Problem Solving : Scratch Programming Environment in the Middle Years Classroom
Implementing a Cloud Platform for Autonomous Driving
A vision based P300 Brain Computer Interface for grasping using a wheelchair-mounted robotic arm
Security Recommendations for mHealth Apps: Elaboration of a Developer’s Guide
Performance and reliability of DSRC vehicular safety communication: a formal analysis
Using String-Kernels For Learning Semantic Parsers