
Learning to Guide a SaturationBased Theorem Prover
Traditional automated theorem provers have relied on manually tuned heur...
read it

Question Answering over Knowledge Bases by Leveraging Semantic Parsing and NeuroSymbolic Reasoning
Knowledge base question answering (KBQA) is an important task in Natural...
read it

An Experimental Study of Formula Embeddings for Automated Theorem Proving in FirstOrder Logic
Automated theorem proving in firstorder logic is an active research are...
read it

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Recent advances in the integration of deep learning with automated theor...
read it

Heuristics for Interpretable Knowledge Graph Contextualization
In this paper, we introduce the problem of knowledge graph contextualiza...
read it

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Traditional firstorder logic (FOL) reasoning systems usually rely on ma...
read it

Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Textual entailment is a fundamental task in natural language processing....
read it

High Fidelity Vector Space Models of Structured Data
Machine learning systems regularly deal with structured data in realwor...
read it

Answering Science Exam Questions Using Query Rewriting with Background Knowledge
Opendomain question answering (QA) is an important problem in AI and NL...
read it

Improving Natural Language Inference Using External Knowledge in the Science Questions Domain
Natural Language Inference (NLI) is fundamental to many Natural Language...
read it

An effective algorithm for hyperparameter optimization of neural networks
A major challenge in designing neural network (NN) systems is to determi...
read it
Achille Fokoue
is this you? claim profile