The Math AI Lab is a meeting space for faculty, researchers, and students to collaborate on projects in the intersection of mathematics and AI. We will be meeting regularly on Mondays and Wednesdays from 4-5:30 in OUG 136.

• Fall 2025 Math AI Lab projects
  • Apply here to participate before September 21.
• See our Spring 2025 projects along with our github page for code repositories. See also the above drop down bar for projects from previous quarters.
• A Math AI Research Seminar and additional Math AI-related seminars
• Math AI-related courses offered at the University of Washington.
• The Math AI Lab was formerly called the eXperimental Lean Lab (XLL) and hosted through the Washington eXperimental Mathematics Lab (WXML).
• We also have a Math AI email list math_ai_seminar@lists.uw.edu: subscribe/unsubscribe here

Current leadership:

• Director: Jarod Alper
• Deputy director: Vasily Ilin