Math AI Lab People
The people of the UW Math AI Lab through Summer 2026. For the projects themselves, see the quarterly pages under Projects.
Project Leaders
Samuel Ainsworth JAX in Lean
Bryan Boehnke Algebraic Geometry
Haocheng Cai Monogenic Extensions, Shortest Vector Problem
Arkamouli Debnath Geometric Invariant Theory
Ting Gong Albilich
Junaid Hasan Deep Learning for Number Theory, Mechanistic Interpretability, CayleyPy
Allison Henrich Teaching a Computer to Knot
Eric Klavins Zero-Knowledge Proofs, Formalizing Stacks
Tyson Klingner LLMs at Lean, Learning and Formalizing Commutative Algebra
Henry Kvinge Math2Vec, Machine Learning Meets Algebraic Combinatorics
John Leo Monogenic Extensions
Dean Light LeanGCD
Zihong Lin Shortest Vector Problem
Leo Mayer Geometric Invariant Theory, Commutative Algebra Theodore Meek Autoformalizing Mathematical Benchmarks, Geometric Measure Theory
Haoming Ning Commutative Algebra
Nelson Niu Category Theory Rohan Pandey Improving Mathematical Chain-of-Thought Reasoning, RL for Polynomials
Andres Paz AI for Quantum Code Compilation
Andrew Tawfeek Teaching a Computer to Knot
Ignacio Tejeda Geometric Measure Theory
Michael Theologitis LeanGCD
Bianca Viray Algebraic Geometry Evan Wang Chain-of-Thought Reasoning in Lean 4, LeanGCD
Yue Wu ProofMem, Conditional Return Laws
Freda Zhang Conditional Return LawsMembers
Undergraduate and graduate researchers, with the project(s) they contribute to.
Trey Adams RL for Polynomials
Alexandra Aiello Zero-Knowledge Proofs
Dowland Aiello Formalizing Stacks
Luke Alexander Semantic Theorem Search
Hemkesh Bandi Deep Learning for Number Theory
Saharsh Bhargava Math2Vec
Ben Bioren LeanGCD
Drew Bladek LLMs at Lean, Learning and Formalizing Commutative Algebra
Alexandre Borentain RL for Polynomials
Jacob Boyce Geometric Invariant Theory
Annie Cao Geometric Measure Theory
Leo Carlin Math2Vec
Cecilia Math2Vec
Alan Chang Provable Computation
Andrew Chen Deep Learning for Number Theory
Bohao Chen LLMs at Lean
Zhi Chen ProofMem
Simon Chess Lean Error Correction
Kedar Chintalapati Math2Vec
Escher Crawford LLMs at Lean, Learning and Formalizing Commutative Algebra
Jared Darlington Math2Vec
Noah Feinberg Improving Mathematical Chain-of-Thought Reasoning
Zeyin Feng Provable Computation
Merav Frank CayleyPy
Xinyue Fu LLMs at Lean
Sambhu Ganesan CayleyPy
Siyuan Ge OpenMath, Lean Error Correction
Nailin Guan Commutative Algebra
Ted Guan Semantic Theorem Search
Nicole Ham Teaching a Computer to Knot
Eric Hur Quantum Code Compilation
Rachit Jaiswal Math2Vec
Junye Ji Provable Computation
Kaijie Jin RL for Polynomials
Jolie Improving Mathematical Chain-of-Thought Reasoning
Josh Geometric Measure Theory
Saumi Joshi OpenMath
Dora Kassabova Commutative Algebra
Sean Kawano Teaching a Computer to Knot
Jayme Kim ProofMem
Ruslana Korolov Provable Computation
Tanmay Kuchhal Chain-of-Thought Reasoning in Lean 4
Sathvik Kurapati Algebraic Geometry
Simon Kurgan Semantic Theorem Search
Sylvie Lausier Quantum Code Compilation
Daniel Lee Lean Error Correction
Hansel Lee RL for Polynomials
Eric Leonen Semantic Theorem Search
Cordelia Li Quantum Code Compilation
Pei Li Autoformalizing Mathematical Benchmarks
Jiahe Lu Math2Vec
Jeremy Ma JAX in Lean
Ajit Mallavarapu Lean Error Correction
James Martin Formalizing Stacks
Bhaumik Mehta RL for Polynomials
Emily Meng Geometric Invariant Theory, Machine Learning Meets Algebraic Combinatorics
Abel Mesfin Teaching a Computer to Knot
Michael Math2Vec
Sarthak Mitra Improving Mathematical Chain-of-Thought Reasoning
Naomi Morato RL for Polynomials
Rithikesh Muddana CayleyPy
Kaira Nair LLMs at Lean
Nathan Pao Geometric Measure Theory
Sarju Patel Quantum Code Compilation
Gaurang Pendharkar CayleyPy
George Peykanu Algebraic Geometry
Nhan Pham LeanGCD
Evan Porter RL for Polynomials
Joseph Qian Provable Computation
Naren P Ramakrishnan LeanGCD
Samarth Rao Math2Vec
Artemii Remizov Semantic Theorem Search
Shree Improving Mathematical Chain-of-Thought Reasoning
Veer Shukla Provable Computation
Sukhman Singh Category Theory
Akhil Srinivasan Deep Learning for Number Theory
Solden Stoll Teaching a Computer to Knot
Mayee Sun Quantum Code Compilation
Sophie Szeto Semantic Theorem Search
Christian Tarta Quantum Code Compilation
Nina Tharamal Deep Learning for Number Theory
Tianshuo Wang Algebraic Geometry
Yiran Wang Lean Error Correction, Semantic Theorem Search
Annis Wu Provable Computation
Di Qiu Xiang OpenMath
Claire Xu RL for Polynomials, Deep Learning for Number Theory
Grant Yang Algebraic Geometry
Xuanyu Yang Geometric Invariant Theory, Machine Learning Meets Algebraic Combinatorics
Chaoxiang Zhang Chain-of-Thought Reasoning in Lean 4
Danny Zhang CayleyPy
Ivonne Zhang Deep Learning for Number Theory
Kyle Zhang RL for Polynomials
Xiaoxing Zhang CayleyPy
Bohan Zhao Geometric Invariant Theory
Xinyi Zhi Algebraic Geometry
Community
Lab Photos
