Instruct: Given a paper title, retrieve paper titles that are cited by the given paper.
Query: learning heuristics for automated reasoning through deep reinforcement learning .
Reinforcement Learning of Theorem Proving
Should I do that? using relational reinforcement learning and declarative programming to discover domain axioms
Learning to Run Heuristics in Tree Search
Learning-Assisted Automated Reasoning with Flyspeck
Learn What Not to Learn: Action Elimination with Deep Reinforcement Learning
Differentiable Learning of Logical Rules for Knowledge Base Reasoning
A synthesis of automated planning and reinforcement learning for efficient, robust decision-making
Shared Autonomy via Deep Reinforcement Learning
Learning to Reason With Adaptive Computation
Go for a Walk and Arrive at the Answer: Reasoning Over Paths in Knowledge Bases using Reinforcement Learning
Learning of Human-like Algebraic Reasoning Using Deep Feedforward Neural Networks
Learning Heuristic Search via Imitation
Hierarchical Deep Reinforcement Learning: Integrating Temporal Abstraction and Intrinsic Motivation
DeepPath: A Reinforcement Learning Method for Knowledge Graph Reasoning
System Design Perspective for Human-Level Agents Using Deep Reinforcement Learning: A Survey
Towards Neural Network-based Reasoning
Probabilistic Recursive Reasoning for Multi-Agent Reinforcement Learning
Towards Symbolic Reinforcement Learning with Common Sense
Representation and generalization in autonomous reinforcement learning
Hyper-heuristics: A Survey of the State of the Art
High-Pressure Open-Channel On-Chip Electroosmotic Pump for Nanoflow High Performance Liquid Chromatography
Diagnosis and classi fi cation of granulomatosis with polyangiitis ( aka Wegener ’ s granulomatosis )
Digital Phased Arrays: Challenges and Opportunities
Learning internal representations by error propagation
Gender differences in food preferences of school-aged children and adolescents.