Automated Theorem Proving in Intuitionistic Propositional Logic by Deep Reinforcement Learning
Reinforcement Learning of Theorem Proving
Exploiting Rich Syntactic Information for Semantic Parsing with Graph-to-Sequence Model
L O ] 2 0 Ju l 2 01 8 Learning Heuristics for Automated Reasoning through Deep Reinforcement Learning
Event Detection and Evolution Based on Knowledge Base
Unsupervised Sentence Representations as Word Information Series: Revisiting TF-IDF