Math AI Lab University of Washington
All news

Congratulations to our ICML authors

The UW Math AI Lab celebrates eight papers accepted to ICML 2026 and its workshops. Congratulations to every author and project team represented in Seoul. DiScoFormer was selected for an oral presentation, and Multiplication Beyond Groups received a Spotlight at the Mechanistic Interpretability Workshop.

July 6-11, 2026COEX, Seoul, Korea
ICML 2026(opens in new tab)
Math AI Lab members at ICML 2026 at COEX in Seoul
Math AI Lab at ICML 2026 · COEX, Seoul, Korea
Math AI Lab group at ICML 2026 in COEX, Seoul
ICML 2026 group photo
Math AI Lab members in front of the ICML 2026 sign at COEX
ICML 2026 · COEX, Seoul, Korea
Three Math AI Lab members at ICML 2026 at COEX
Math AI Lab members at ICML 2026 · COEX, Seoul, Korea
Five Math AI Lab members at the ICML 2026 display at COEX
Math AI Lab at ICML 2026 · COEX, Seoul, Korea

Accepted papers

  1. DiScoFormer: Plug-In Density and Score Estimation with Transformers Oral presentation
  2. Formalizing Numerical Analysis: An Agent Pipeline and Quality Audit Beyond Kernel Acceptance
  3. Does My Embedding Reflect That A = B? Evaluating Mathematical Equivalence in Embedding Models
  4. Sorries Are Not the Hard Part: An Expert-Review Case Study of a Semi-Autonomous Formalization
  5. Multiplication Beyond Groups: Stratified Fourier Mechanisms in Transformer Circuits Spotlight
  6. Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium
  7. Learned Interventions Inside Lean 4's grind
  8. FactorLibrary: From Polynomials to Circuits via Recursive Subgoals