53 citations · 145 across the 20 of their papers we have counts for
23 papers
Disjunctive Sum of Squares
Amir Ali Ahmadi, Sanjeeb Dash, Yixuan Hua +1
We introduce the concept of disjunctive sum of squares for certifying nonnegativity of polynomials. Unlike the popular sum of squares approach where nonnegativity is certified by a…
Cutting Planes for Binarized Network Flow Problems
Pierre Bonami, Sanjeeb Dash, Anton Derkach +1
We consider integer programming problems with bounded general-integer variables belonging to the general class of network flow problems. For those, we computationally investigate t…
Bridging the Gap Between Scientific Laws Derived by AI Systems and Canonical Knowledge via Abductive Inference with AI-Noether
Karan Srivastava, Sanjeeb Dash, Ryan Cory-Wright +3
Advances in AI have shown great potential in contributing to the acceleration of scientific discovery. Symbolic regression can fit interpretable models to data, but these models ar…
The Need for Verification in AI-Driven Scientific Discovery
Cristina Cornelio, Takuya Ito, Ryan Cory-Wright +2
Artificial intelligence (AI) is transforming the practice of science. Machine learning and large language models (LLMs) can generate hypotheses at a scale and speed far exceeding t…
Distributionally Robust Regularization of Sparse Integer Programming Trained Learning Models
Sanjeeb Dash, Soumyadip Ghosh, Joao Goncalves +1
Building explainable machine learning models is crucial for human users to be able to interpret the proposed statistical relationship obtained from the training data. Mixed-integer…
Evolving Scientific Discovery by Unifying Data and Background Knowledge with AI Hilbert
Ryan Cory-Wright, Cristina Cornelio, Sanjeeb Dash +2
The discovery of scientific formulae that parsimoniously explain natural phenomena and align with existing background theory is a key goal in science. Historically, scientists have…