01 · Research

Structure makes scaling possible.

We identify the mathematical bottlenecks that prevent added data, model capacity, optimization effort, or inference computation from becoming reliable improvement.

Generalization, interpolation, and reliability

Average risk can conceal important failure modes. Our work uses high dimensional statistics and probability to understand generalization, interpolation, and rare severe errors.

PDE computation and uncertainty quantification

Approximation theory, numerical analysis, and stochastic simulation guide algorithms for PDE learning, operator learning, inverse problems, and uncertainty quantification.

AI assisted mathematical discovery

We use AI to explore transformations and counterexamples, then isolate precise mathematical mechanisms and produce human verifiable arguments.