research
∙
09/04/2023
Hierarchical Grammar-Induced Geometry for Data-Efficient Molecular Property Prediction
The prediction of molecular properties is a crucial task in the field of...
share
research
∙
03/15/2022
Data-Efficient Graph Grammar Learning for Molecular Generation
The problem of molecular generation has received significant attention r...
research
∙
09/07/2021
Software Vulnerability Detection via Deep Learning over Disaggregated Code Graph Representation
Identifying vulnerable code is a precautionary measure to counter softwa...
research
∙
07/10/2021
Improving Inductive Link Prediction Using Hyper-Relational Facts
For many years, link prediction on knowledge graphs (KGs) has been a pur...
research
∙
05/25/2021
Project CodeNet: A Large-Scale AI for Code Dataset for Learning a Diversity of Coding Tasks
Advancements in deep learning and machine learning algorithms have enabl...
research
∙
01/20/2021
Directed Acyclic Graph Neural Networks
Graph-structured data ubiquitously appears in science and engineering. G...
research
∙
06/22/2020
Exploring Software Naturalness through Neural Language Models
The Software Naturalness hypothesis argues that programming languages ca...
research
∙
06/22/2020
Exploring Software Naturalness throughNeural Language Models
The Software Naturalness hypothesis argues that programming languages ca...
research
∙
03/20/2020
Temporal Conjunctive Query Answering in the Extended DL-Lite Family
Ontology-based query answering (OBQA) augments classical query answering...
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/16/2019
RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools
Logical rules are a popular knowledge representation language in many do...
research
∙
08/06/2018
Metric Temporal Extensions of DL-Lite and Interval-Rigid Names
The DL-Lite description logics allow for modeling domain knowledge on to...
research
∙
08/06/2018