Picture for Shajith Ikbal

Shajith Ikbal

An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations

Add code
May 15, 2023
Figure 1 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 2 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 3 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Figure 4 for An Ensemble Approach for Automated Theorem Proving Based on Efficient Name Invariant Graph Neural Representations
Viaarxiv icon

Targeted Extraction of Temporal Facts from Textual Resources for Improved Temporal Question Answering over Knowledge Bases

Mar 21, 2022
Figure 1 for Targeted Extraction of Temporal Facts from Textual Resources for Improved Temporal Question Answering over Knowledge Bases
Figure 2 for Targeted Extraction of Temporal Facts from Textual Resources for Improved Temporal Question Answering over Knowledge Bases
Figure 3 for Targeted Extraction of Temporal Facts from Textual Resources for Improved Temporal Question Answering over Knowledge Bases
Figure 4 for Targeted Extraction of Temporal Facts from Textual Resources for Improved Temporal Question Answering over Knowledge Bases
Viaarxiv icon

A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases

Add code
Jan 15, 2022
Figure 1 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Figure 2 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Figure 3 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Figure 4 for A Benchmark for Generalizable and Interpretable Temporal Question Answering over Knowledge Bases
Viaarxiv icon

SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases

Add code
Sep 28, 2021
Figure 1 for SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
Figure 2 for SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
Figure 3 for SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
Figure 4 for SYGMA: System for Generalizable Modular Question Answering OverKnowledge Bases
Viaarxiv icon

Learning to Guide a Saturation-Based Theorem Prover

Add code
Jun 07, 2021
Figure 1 for Learning to Guide a Saturation-Based Theorem Prover
Figure 2 for Learning to Guide a Saturation-Based Theorem Prover
Figure 3 for Learning to Guide a Saturation-Based Theorem Prover
Figure 4 for Learning to Guide a Saturation-Based Theorem Prover
Viaarxiv icon

Logical Neural Networks

Jun 23, 2020
Figure 1 for Logical Neural Networks
Figure 2 for Logical Neural Networks
Figure 3 for Logical Neural Networks
Figure 4 for Logical Neural Networks
Viaarxiv icon