News
TheoremSearch accepted to NeurIPS 2026
"Semantic Search over 9 Million Mathematical Theorems" was accepted to the NeurIPS 2026 Evaluations & Datasets Track as a poster.
Samarth Rao gives a TAG-DS spotlight talk
Samarth presented “Does My Embedding Reflect That A = B?” at TAG-DS 2026 in Boston.
Eight Math AI Lab papers accepted to ICML 2026
The lab celebrates eight papers accepted to ICML 2026 and its workshops. DiScoFormer was selected for an oral presentation, and Multiplication Beyond Groups received a Spotlight at the Mechanistic Interpretability Workshop.
StabilizerBench accepted to IEEE QCE 2026
StabilizerBench was accepted to the QSYS technical-paper track as a poster.
Math AI Lab hosts the UW 2026 Lean Hackathon
From May 8 to 10, 2026, the lab hosted a hackathon bringing together the Lean, formalization, mathematics, and AI communities at the University of Washington.
