57 citations · 135 across the 19 of their papers we have counts for
4 papers · 1 filter
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…
Stability Regularized Cross-Validation
Ryan Cory-Wright, Andrés Gómez
We revisit the problem of ensuring strong test set performance via cross-validation, and propose a nested k-fold cross-validation scheme that selects hyperparameters by minimizing…
Improved Approximation Algorithms for Orthogonally Constrained Problems Using Semidefinite Optimization
Ryan Cory-Wright, Jean Pauphilet
Building on the blueprint from Goemans and Williamson (1995) for the Max-Cut problem, we construct a polynomial-time approximation algorithm for orthogonally constrained quadratic…