Search Results for author: Joao Goncalves

Found 5 papers, 2 papers with code

Obtaining Explainable Classification Models using Distributionally Robust Optimization

no code implementations3 Nov 2023 Sanjeeb Dash, Soumyadip Ghosh, Joao Goncalves, Mark S. Squillante

Model explainability is crucial for human users to be able to interpret how a proposed classifier assigns labels to data based on its feature values.

Binary Classification Classification

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

Rule Induction in Knowledge Graphs Using Linear Programming

1 code implementation15 Oct 2021 Sanjeeb Dash, Joao Goncalves

We present a simple linear programming (LP) based method to learn compact and interpretable sets of rules encoding the facts in a knowledge graph (KG) and use these rules to solve the KG completion problem.

Knowledge Graphs

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

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

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