1 code implementation • AKBC 2020 • Yatin Nandwani, Ankesh Gupta, Aman Agrawal, Mayank Singh Chauhan, Parag Singla, Mausam
State-of-the-art models for Knowledge Base Completion (KBC) are based on tensor factorization (TF), e. g, DistMult, ComplEx.
Automated Theorem Proving Knowledge Base Completion