Picture for Cristina Cornelio

Cristina Cornelio

Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery

Add code
Mar 31, 2024
Figure 1 for Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
Figure 2 for Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
Figure 3 for Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
Figure 4 for Recover: A Neuro-Symbolic Framework for Failure Detection and Recovery
Viaarxiv icon

AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery

Add code
Aug 18, 2023
Figure 1 for AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery
Figure 2 for AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery
Figure 3 for AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery
Figure 4 for AI Hilbert: From Data and Background Knowledge to Automated Scientific Discovery
Viaarxiv icon

Bayesian Experimental Design for Symbolic Discovery

Add code
Nov 29, 2022
Figure 1 for Bayesian Experimental Design for Symbolic Discovery
Figure 2 for Bayesian Experimental Design for Symbolic Discovery
Figure 3 for Bayesian Experimental Design for Symbolic Discovery
Viaarxiv icon

Integration of Data and Theory for Accelerated Derivable Symbolic Discovery

Add code
Sep 03, 2021
Figure 1 for Integration of Data and Theory for Accelerated Derivable Symbolic Discovery
Figure 2 for Integration of Data and Theory for Accelerated Derivable Symbolic Discovery
Figure 3 for Integration of Data and Theory for Accelerated Derivable Symbolic Discovery
Figure 4 for Integration of Data and Theory for Accelerated Derivable Symbolic Discovery
Viaarxiv icon

Learning to Guide a Saturation-Based Theorem Prover

Add code
Jun 07, 2021
Figure 1 for Learning to Guide a Saturation-Based Theorem Prover
Figure 2 for Learning to Guide a Saturation-Based Theorem Prover
Figure 3 for Learning to Guide a Saturation-Based Theorem Prover
Figure 4 for Learning to Guide a Saturation-Based Theorem Prover
Viaarxiv icon

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

Add code
Dec 03, 2020
Figure 1 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Figure 2 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Figure 3 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Figure 4 for Question Answering over Knowledge Bases by Leveraging Semantic Parsing and Neuro-Symbolic Reasoning
Viaarxiv icon

Symbolic Regression using Mixed-Integer Nonlinear Optimization

Add code
Jun 11, 2020
Figure 1 for Symbolic Regression using Mixed-Integer Nonlinear Optimization
Figure 2 for Symbolic Regression using Mixed-Integer Nonlinear Optimization
Viaarxiv icon

Schemaless Queries over Document Tables with Dependencies

Add code
Nov 21, 2019
Figure 1 for Schemaless Queries over Document Tables with Dependencies
Figure 2 for Schemaless Queries over Document Tables with Dependencies
Figure 3 for Schemaless Queries over Document Tables with Dependencies
Figure 4 for Schemaless Queries over Document Tables with Dependencies
Viaarxiv icon

Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling

Add code
Nov 15, 2019
Figure 1 for Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Figure 2 for Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Figure 3 for Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Figure 4 for Improving Graph Neural Network Representations of Logical Formulae with Subgraph Pooling
Viaarxiv icon

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

Add code
Nov 05, 2019
Figure 1 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Figure 2 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Figure 3 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Figure 4 for A Deep Reinforcement Learning based Approach to Learning Transferable Proof Guidance Strategies
Viaarxiv icon