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.

Recent Activity

Vilin97  submitted a paper about 6 hours ago

TheoremGraph: Bridging Formal and Informal Mathematics

ericleonen  updated a dataset 1 day ago

uw-math-ai/math-graph

ericleonen  updated a dataset 4 days ago

uw-math-ai/theorem-matching

View all activity

Papers

TheoremGraph: Bridging Formal and Informal Mathematics

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

View all Papers

Team members 13