562 citations · 621 across the 15 of their papers we have counts for
Showing 2019Show all
3 papers · 1 filter
cs.CL2019
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…
cs.AI2019
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…
math.RT2019
On a smoothness characterization for good moduli spaces
Dan Edidin, Matthew Satriano, Spencer Whitehead
Let be a smooth Artin stack with properly stable good moduli space . The purpose of this paper is to prove that a simple geometric criterion…