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
∙
03/21/2022
Targeted Extraction of Temporal Facts from Textual Resources for Improved Temporal Question Answering over Knowledge Bases
Knowledge Base Question Answering (KBQA) systems have the goal of answer...
research
∙
01/15/2022
A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Knowledge Base Question Answering (KBQA) tasks that involve complex reas...
research
∙
09/28/2021
SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
Knowledge Base Question Answering (KBQA) tasks that in-volve complex rea...
research
∙
06/07/2021
Learning to Guide a Saturation-Based Theorem Prover
Traditional automated theorem provers have relied on manually tuned heur...
research
∙
06/23/2020
