Events

We're kicking off the quarter with our inaugural lab meeting. We'll introduce the different projects happening in the lab, share some logistics for how things will run this quarter, and give everyone a chance to get oriented and meet the broader lab community. All participants and visitors are welcome to join!

Project leader applications for Fall 2026 are open! We are recruiting leaders for projects in four areas: machine learning and AI for math, formalization and autoformalization, autoresearch, and AI for math education and learning.

Applications are due Monday, September 7 at 11:59 pm, and earlier applications have priority. Mentors of continuing projects are required to fill it out. The project descriptions are linked below.

Come join us on Monday July 20th in OUG 136 to chat with your colleagues about their exciting research! Food and board games provided

The spring quarter poster session will bring together every Math AI Lab team, with each team represented through a poster or interactive demo.

I will summarize my PhD research, concentrating on two areas: machine learning for plasma simulation, and AI for formalizing mathematics in Lean.