23 citations · 130 across the 27 of their papers we have counts for
3 papers · 1 filter
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Pavan Kapanipathi, Veronika Thost, Siva Sankalp Patel +10
Textual entailment is a fundamental task in natural language processing. Most approaches for solving the problem use only the textual content present in training data. A few approa…
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio +4
Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems. I…
A Deep Reinforcement Learning Approach to First-Order Logic Theorem Proving
Maxwell Crouse, Ibrahim Abdelaziz, Bassem Makni +7
Automated theorem provers have traditionally relied on manually tuned heuristics to guide how they perform proof search. Deep reinforcement learning has been proposed as a way to o…