131 citations · 222 across the 36 of their papers we have counts for
9 papers · 1 filter
Exact Symmetry as Algebra: A Machine-Verified Tensor Calculus that Enforces Physical Selection Rules
Paulina Hoyos, Shashanka Ubaru, Dongsung Huh +5
Symmetry is central to the physical sciences, yet machine learning usually captures it only approximately, leaving a residual per-step equivariance error that compoun…
A Differentiable Measure of Algebraic Complexity: Provably Exact Discovery of Group Structures
Dongsung Huh, Lior Horesh, Halyun Jeong
Discovering discrete algebraic rules from data is a fundamental challenge in machine learning. We formalize this problem through Cayley-table completion -- an algebraic counterpart…
Interpretable epistemic uncertainty decomposition in sequential generative models via polynomial chaos surrogates
Ramón Nartallo-Kaluarachchi, Shashanka Ubaru, Małgorzata J Zimoń +4
Sequential generative models conditioned on uncertain rewards are central to AI-driven scientific discovery, yet the epistemic uncertainty they inherit from imperfect reward estima…
Fast Linear Solvers via AI-Tuned Markov Chain Monte Carlo-based Matrix Inversion
Anton Lebedev, Won Kyung Lee, Soumyadip Ghosh +7
Large, sparse linear systems are pervasive in modern science and engineering, and Krylov subspace solvers are an established means of solving them. Yet convergence can be slow for…
Transformer Circuits Can Realize Clustering Algorithms
Kenneth L. Clarkson, Lior Horesh, Takuya Ito +2
Although transformers are most commonly optimized as statistical sequence models, it is unclear to what extent they can implement and learn exact algorithmic computations. Here, we…
Bayesian Experimental Design for Symbolic Discovery
Kenneth L. Clarkson, Cristina Cornelio, Sanjeeb Dash +3
This study concerns the formulation and application of Bayesian optimal experimental design to symbolic discovery, which is the inference from observational data of predictive mode…