research
∙
08/18/2023
AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery
The discovery of scientific formulae that parsimoniously explain natural...
share
research
∙
11/29/2022
Bayesian Experimental Design for Symbolic Discovery
This study concerns the formulation and application of Bayesian optimal ...
research
∙
09/03/2021
Integration of Data and Theory for Accelerated Derivable Symbolic Discovery
Scientists have long aimed to discover meaningful equations which accura...
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
∙
06/11/2020
Symbolic Regression using Mixed-Integer Nonlinear Optimization
The Symbolic Regression (SR) problem, where the goal is to find a regres...
research
∙
11/21/2019
Schemaless Queries over Document Tables with Dependencies
Unstructured enterprise data such as reports, manuals and guidelines oft...
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
∙
09/18/2019
Voting with Random Classifiers (VORACE)
In many machine learning scenarios, looking for the best classifier that...
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
∙
12/17/2018
Using deceased-donor kidneys to initiate chains of living donor kidney paired donations: algorithms and experimentation
We design a flexible algorithm that exploits deceased donor kidneys to i...
research
∙
04/24/2015