research
∙
06/18/2023
MISMATCH: Fine-grained Evaluation of Machine-generated Text with Mismatch Error Types
With the growing interest in large language models, the need for evaluat...
share
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 ...
research
∙
01/05/2023
Serenity: Library Based Python Code Analysis for Code Completion and Automated Machine Learning
Dynamically typed languages such as Python have become very popular. Amo...
research
∙
09/13/2022
Expressive Reasoning Graph Store: A Unified Framework for Managing RDF and Property Graph Databases
Resource Description Framework (RDF) and Property Graph (PG) are the two...
research
∙
04/18/2022
CBR-iKB: A Case-Based Reasoning Approach for Question Answering over Incomplete Knowledge Bases
Knowledge bases (KBs) are often incomplete and constantly changing in pr...
research
∙
01/28/2022
Large Scale Generation of Labeled Type Data for Python
Recently, dynamically typed languages, such as Python, have gained unpre...
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
∙
12/15/2021
Learning to Transpile AMR into SPARQL
We propose a transition-based system to transpile Abstract Meaning Repre...
research
∙
11/10/2021
A Two-Stage Approach towards Generalization in Knowledge Base Question Answering
Most existing approaches for Knowledge Base Question Answering (KBQA) fo...
research
∙
10/29/2021
A Scalable AutoML Approach Based on Graph Neural Networks
AutoML systems build machine learning models automatically by performing...
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
∙
09/16/2021
Combining Rules and Embeddings via Neuro-Symbolic AI for Knowledge Base Completion
Recent interest in Knowledge Base Completion (KBC) has led to a plethora...
research
∙
09/15/2021
Can Machines Read Coding Manuals Yet? – A Benchmark for Building Better Language Models for Code Understanding
Code understanding is an increasingly important application of Artificia...
research
∙
08/16/2021
Generative Relation Linking for Question Answering over Knowledge Bases
Relation linking is essential to enable question answering over knowledg...
research
∙
06/07/2021
Learning to Guide a Saturation-Based Theorem Prover
Traditional automated theorem provers have relied on manually tuned heur...
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
∙
09/16/2020
Leveraging Semantic Parsing for Relation Linking over Knowledge Bases
Knowledgebase question answering systems are heavily dependent on relati...
research
∙
04/07/2020
Neural Analogical Matching
Analogy is core to human cognition. It allows us to solve problems based...
research
∙
04/03/2020
HandVoxNet: Deep Voxel-Based Network for 3D Hand Shape and Pose Estimation from a Single Depth Map
3D hand shape and pose estimation from a single depth map is a new and c...
research
∙
02/21/2020
Graph4Code: A Machine Interpretable Knowledge Graph for Code
Knowledge graphs have proven to be extremely useful in powering diverse ...
research
∙
02/10/2020
Explainable Deep RDFS Reasoner
Recent research efforts aiming to bridge the Neural-Symbolic gap for RDF...
research
∙
02/02/2020
An Experimental Study of Formula Embeddings for Automated Theorem Proving in First-Order Logic
Automated theorem proving in first-order logic is an active research are...
research
∙
11/15/2019
Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Recent advances in the integration of deep learning with automated theor...
research
∙
11/05/2019
A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Traditional first-order logic (FOL) reasoning systems usually rely on ma...
research
∙
11/05/2019
Infusing Knowledge into the Textual Entailment Task Using Graph Convolutional Networks
Textual entailment is a fundamental task in natural language processing....
research
∙
09/15/2018
Improving Natural Language Inference Using External Knowledge in the Science Questions Domain
Natural Language Inference (NLI) is fundamental to many Natural Language...
research
∙
12/24/2014
AltecOnDB: A Large-Vocabulary Arabic Online Handwriting Recognition Database
Arabic is a semitic language characterized by a complex and rich morphol...
research
∙
10/17/2014