Search Results for author:
Found 3 papers, 1 papers with code
Logic Embeddings for Complex Query Answering
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.
The use of Generative Adversarial Networks to characterise new physics in multi-lepton final states at the LHC
Generative Adversarial Networks (GANs) can be used to mimic MC generators.
Proof Extraction for Logical Neural Networks
Automated Theorem Provers (ATPs) are widely used for the verification of logical statements.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
