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

CeciliaYe  updated a dataset 17 days ago

uw-math-ai/Math2Vec-embedding-dataset

CeciliaYe  updated a model 18 days ago

uw-math-ai/MathLeap-Octen-8B

ericleonen  updated a dataset 20 days ago

uw-math-ai/math-graph

View all activity

Papers

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

Semantic Search over 9 Million Mathematical Theorems

View all Papers

Team members 13