4 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…