no code implementations • 3 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.
no code implementations • 18 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.
no code implementations • 29 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.
no code implementations • 16 Nov 2021 • Connor Lawless, Sanjeeb Dash, Oktay Gunluk, Dennis Wei
This paper considers the learning of Boolean rules in disjunctive normal form (DNF, OR-of-ANDs, equivalent to decision rule sets) as an interpretable model for classification.
1 code implementation • 15 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.
1 code implementation • 3 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.
1 code implementation • 5 Feb 2021 • Rui Chen, Sanjeeb Dash, Tian Gao
The problem of finding an ancestral acyclic directed mixed graph (ADMG) that represents the causal relationships between a set of variables is an important area of research on causal inference.
1 code implementation • NeurIPS 2020 • Shashanka Ubaru, Sanjeeb Dash, Arya Mazumdar, Oktay Gunluk
We then present a hierarchical partitioning approach that exploits the label hierarchy in large scale problems to divide up the large label space and create smaller sub-problems, which can then be solved independently via the grouping approach.
no code implementations • 11 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.
no code implementations • 5 Jun 2019 • Dennis Wei, Sanjeeb Dash, Tian Gao, Oktay Günlük
Column generation is used to optimize over an exponentially large space of rules without pre-generating a large subset of candidates or greedily boosting rules one by one.
no code implementations • NeurIPS 2018 • Sanjeeb Dash, Oktay Günlük, Dennis Wei
This paper considers the learning of Boolean rules in either disjunctive normal form (DNF, OR-of-ANDs, equivalent to decision rule sets) or conjunctive normal form (CNF, AND-of-ORs) as an interpretable model for classification.
no code implementations • 29 Oct 2017 • Vernon Austel, Sanjeeb Dash, Oktay Gunluk, Lior Horesh, Leo Liberti, Giacomo Nannicini, Baruch Schieber
In this study we introduce a new technique for symbolic regression that guarantees global optimality.