Search Results for author: Cristina Cornelio

Found 15 papers, 5 papers with code

Logical Conditional Preference Theories

no code implementations24 Apr 2015 Cristina Cornelio, Andrea Loreggia, Vijay Saraswat

CP-nets represent the dominant existing framework for expressing qualitative conditional preferences between alternatives, and are used in a variety of areas including constraint solving.

Identifying the Discourse Function of News Article Paragraphs

no code implementations COLING 2018 W. Victor Yarlott, Cristina Cornelio, Tian Gao, Mark Finlayson

We test two hypotheses: first, that people can reliably annotate news articles with van Dijk{'}s theory; second, that we can reliably predict these labels using machine learning.

BIG-bench Machine Learning

Using deceased-donor kidneys to initiate chains of living donor kidney paired donations: algorithms and experimentation

no code implementations17 Dec 2018 Cristina Cornelio, Lucrezia Furian, Antonio Nicolo', Francesca Rossi

We design a flexible algorithm that exploits deceased donor kidneys to initiate chains of living donor kidney paired donations, combining deceased and living donor allocation mechanisms to improve the quantity and quality of kidney transplants.

RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools

1 code implementation16 Sep 2019 Cristina Cornelio, Veronika Thost

Logical rules are a popular knowledge representation language in many domains, representing background knowledge and encoding information that can be derived from given facts in a compact form.

Inductive knowledge graph completion Inductive logic programming +2

Voting with Random Classifiers (VORACE): Theoretical and Experimental Analysis

no code implementations18 Sep 2019 Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi

In many machine learning scenarios, looking for the best classifier that fits a particular dataset can be very costly in terms of time and resources.

Model Selection

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

1 code implementation arXiv 2020 Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth Forbus, Achille Fokoue

Recent advances in the integration of deep learning with automated theorem proving have centered around the representation of logical formulae as inputs to deep learning systems.

Automated Theorem Proving

Symbolic Regression using Mixed-Integer Nonlinear Optimization

no code implementations11 Jun 2020 Vernon Austel, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Tyler Josephson, Nimrod Megiddo

The Symbolic Regression (SR) problem, where the goal is to find a regression function that does not have a pre-specified form but is any function that can be composed of a list of operators, is a hard problem in machine learning, both theoretically and computationally.

regression Symbolic Regression

Learning to Guide a Saturation-Based Theorem Prover

no code implementations7 Jun 2021 Ibrahim Abdelaziz, Maxwell Crouse, Bassem Makni, Vernon Austil, Cristina Cornelio, Shajith Ikbal, Pavan Kapanipathi, Ndivhuwo Makondo, Kavitha Srinivas, Michael Witbrock, Achille Fokoue

In addition, to the best of our knowledge, TRAIL is the first reinforcement learning-based approach to exceed the performance of a state-of-the-art traditional theorem prover on a standard theorem proving benchmark (solving up to 17% more problems).

Automated Theorem Proving reinforcement-learning +1

AI Descartes: Combining Data and Theory for Derivable Scientific Discovery

1 code implementation3 Sep 2021 Cristina Cornelio, Sanjeeb Dash, Vernon Austel, Tyler Josephson, Joao Goncalves, Kenneth Clarkson, Nimrod Megiddo, Bachir El Khadir, Lior Horesh

We develop a method to enable principled derivations of models of natural phenomena from axiomatic knowledge and experimental data by combining logical reasoning with symbolic regression.

Automated Theorem Proving BIG-bench Machine Learning +2

Bayesian Experimental Design for Symbolic Discovery

no code implementations29 Nov 2022 Kenneth L. Clarkson, Cristina Cornelio, Sanjeeb Dash, Joao Goncalves, Lior Horesh, Nimrod Megiddo

This study concerns the formulation and application of Bayesian optimal experimental design to symbolic discovery, which is the inference from observational data of predictive models taking general functional forms.

Experimental Design Numerical Integration

AI Hilbert: A New Paradigm for Scientific Discovery by Unifying Data and Background Knowledge

no code implementations18 Aug 2023 Ryan Cory-Wright, Bachir El Khadir, Cristina Cornelio, Sanjeeb Dash, Lior Horesh

The discovery of scientific formulae that parsimoniously explain natural phenomena and align with existing background theory is a key goal in science.

Cannot find the paper you are looking for? You can Submit a new open access paper.