research
∙
05/15/2023
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Using reinforcement learning for automated theorem proving has recently ...
share
research
∙
07/19/2021
An Analysis of Reinforcement Learning for Malaria Control
Previous work on policy learning for Malaria control has often formulate...
research
∙
06/07/2021
Learning to Guide a Saturation-Based Theorem Prover
Traditional automated theorem provers have relied on manually tuned heur...
research
∙
02/28/2021
Logic Embeddings for Complex Query Answering
Answering logical queries over incomplete knowledge bases is challenging...
research
∙
12/03/2020
Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Knowledge base question answering (KBQA) is an important task in Natural...
research
∙
06/23/2020
