conftrace_

rule selection

2 papers

Explore in graph

Co-occurring keywords · papers mentioning both

differentiable proving (1) neural theorem prover (1) horn formula (1) entity resolution (1) bi-objective optimization (1) pareto front (1) knowledge refinement (1) false positive (1) gradient optimization (1) knowledge base (1)

Papers

Learning Reasoning Strategies in End-to-End Differentiable Proving ICML 2020 Knowledge Refinement via Rule Selection AAAI 2019