Adopting the Word-Pair-Dependency-Triplets with Individual Comparison for Natural Language Inference
Learning a SAT Solver from Single-Bit Supervision
Reinforcement Learning of Theorem Proving
End-Task Oriented Textual Entailment via Deep Exploring Inter-Sentence Interactions
Event Detection and Evolution Based on Knowledge Base
Unsupervised Sentence Representations as Word Information Series: Revisiting TF-IDF