7 citations · 7 across the 3 of their papers we have counts for
4 papers
An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Achille Fokoue, Ibrahim Abdelaziz, Maxwell Crouse +5
Using reinforcement learning for automated theorem proving has recently received much attention. Current approaches use representations of logical statements that often rely on the…
A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Sumit Neelam, Udit Sharma, Hima Karanam +22
Knowledge Base Question Answering (KBQA) tasks that involve complex reasoning are emerging as an important research direction. However, most existing KBQA datasets focus primarily…
Bridging the Gap between Semantics and Multimedia Processing
Marcio Ferreira Moreno, Guilherme Lima, Rodrigo Costa Mesquita Santos +2
In this paper, we give an overview of the semantic gap problem in multimedia and discuss how machine learning and symbolic AI can be combined to narrow this gap. We describe the ga…
General Fragment Model for Information Artifacts
Sandro Rama Fiorini, Wallas Sousa dos Santos, Rodrigo Costa Mesquita +2
The use of semantic descriptions in data intensive domains require a systematic model for linking semantic descriptions with their manifestations in fragments of heterogeneous info…