University of Washington Math AI Lab

AI & ML interests

The UW Math AI Lab does research in the intersection of Math and AI, including AI for Math, such as formalization, search, and deep learning for math.

Papers

TheoremGraph: Bridging Formal and Informal Mathematics

Semi-Autonomous Formalization of the Vlasov-Maxwell-Landau Equilibrium

View all Papers

Team members 13