conftrace_

logical rule induction

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

differentiable reasoning (1) vector representation (1) neural theorem proving (1) knowledge graph (1) first-order logic (1) knowledge base (1) symbolic reasoning (1)

Papers

End-to-end Differentiable Proving NeurIPS 2017