15 citations · 15 across the 1 of their papers we have counts for
1 paper · 1 filter
Kshitij Bansal, Christian Szegedy, Markus N. Rabe +2
In this paper, we demonstrate how to do automated theorem proving in the presence of a large knowledge base of potential premises without learning from human proofs. We suggest an…