research
∙
07/05/2023
Learning Symbolic Rules over Abstract Meaning Representations for Textual Reinforcement Learning
Text-based reinforcement learning agents have predominantly been neural ...
share
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...
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
∙
05/07/2023
Laziness Is a Virtue When It Comes to Compositionality in Neural Semantic Parsing
Nearly all general-purpose neural semantic parsers generate logical form...
research
∙
09/15/2022
Neuro-symbolic Models for Interpretable Time Series Classification using Temporal Logic Description
Most existing Time series classification (TSC) models lack interpretabil...
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/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
∙
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
∙
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
∙
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
∙
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
Heuristics for Interpretable Knowledge Graph Contextualization
In this paper, we introduce the problem of knowledge graph contextualiza...
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
∙
01/09/2019
High Fidelity Vector Space Models of Structured Data
Machine learning systems regularly deal with structured data in real-wor...
research
∙
09/15/2018
Answering Science Exam Questions Using Query Rewriting with Background Knowledge
Open-domain question answering (QA) is an important problem in AI and NL...
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
∙
05/23/2017