conftrace_

wn18rr

1 paper

Explore in graph

Co-occurring keywords · papers mentioning both

neural theorem prover (1) large-scale dataset (1) knowledge graph embedding (1) interpretability (1) embedding space (1)

Papers

Improving Soft Unification with Knowledge Graph Embedding Methods ICML 2025