4 code implementations • 28 Feb 2021 • Francois Luus, Prithviraj Sen, Pavan Kapanipathi, Ryan Riegel, Ndivhuwo Makondo, Thabang Lebese, Alexander Gray
Answering logical queries over incomplete knowledge bases is challenging because: 1) it calls for implicit link prediction, and 2) brute force answering of existential first-order logic queries is exponential in the number of existential variables.
no code implementations • 31 May 2021 • Thabang Lebese, Xifeng Ruan
Generative Adversarial Networks (GANs) can be used to mimic MC generators.
no code implementations • NeurIPS Workshop AIPLANS 2021 • Thabang Lebese, Ndivhuwo Makondo, Cristina Cornelio, Naweed Khan
Automated Theorem Provers (ATPs) are widely used for the verification of logical statements.