Get our free extension to see links to code for papers anywhere online!

Chrome logo Add to Chrome

Firefox logo Add to Firefox

Picture for Cristina Cornelio

Integration of Data and Theory for Accelerated Derivable Symbolic Discovery


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


  Access Paper or Ask Questions

Learning to Guide a Saturation-Based Theorem Prover


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


  Access Paper or Ask Questions

Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning


Dec 03, 2020
Pavan Kapanipathi, Ibrahim Abdelaziz, Srinivas Ravishankar, Salim Roukos, Alexander Gray, Ramon Astudillo, Maria Chang, Cristina Cornelio, Saswati Dana, Achille Fokoue, Dinesh Garg, Alfio Gliozzo, Sairam Gurajada, Hima Karanam, Naweed Khan, Dinesh Khandelwal, Young-Suk Lee, Yunyao Li, Francois Luus, Ndivhuwo Makondo, Nandana Mihindukulasooriya, Tahira Naseem, Sumit Neelam, Lucian Popa, Revanth Reddy, Ryan Riegel, Gaetano Rossiello, Udit Sharma, G P Shrivatsa Bhargav, Mo Yu


  Access Paper or Ask Questions

Symbolic Regression using Mixed-Integer Nonlinear Optimization


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


  Access Paper or Ask Questions

Schemaless Queries over Document Tables with Dependencies


Nov 21, 2019
Mustafa Canim, Cristina Cornelio, Arun Iyengar, Ryan Musa, Mariano Rodrigez Muro


  Access Paper or Ask Questions

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling


Nov 15, 2019
Maxwell Crouse, Ibrahim Abdelaziz, Cristina Cornelio, Veronika Thost, Lingfei Wu, Kenneth Forbus, Achille Fokoue


  Access Paper or Ask Questions

A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies


Nov 05, 2019
Maxwell Crouse, Spencer Whitehead, Ibrahim Abdelaziz, Bassem Makni, Cristina Cornelio, Pavan Kapanipathi, Edwin Pell, Kavitha Srinivas, Veronika Thost, Michael Witbrock, Achille Fokoue


  Access Paper or Ask Questions

Voting with Random Classifiers (VORACE)


Sep 18, 2019
Cristina Cornelio, Michele Donini, Andrea Loreggia, Maria Silvia Pini, Francesca Rossi


  Access Paper or Ask Questions

RuDaS: Synthetic Datasets for Rule Learning and Evaluation Tools


Sep 16, 2019
Cristina Cornelio, Veronika Thost


  Access Paper or Ask Questions

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


Dec 17, 2018
Cristina Cornelio, Lucrezia Furian, Antonio Nicolo', Francesca Rossi

* To be published in AIES 2019 

  Access Paper or Ask Questions

Logical Conditional Preference Theories


Apr 24, 2015
Cristina Cornelio, Andrea Loreggia, Vijay Saraswat

* 15 pages, 1 figure, submitted to CP 2015 

  Access Paper or Ask Questions