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  updated a dataset 10 days ago

uw-math-ai/theorem-search-dataset

Vilin97  updated a Space about 1 month ago

uw-math-ai/theorem-search

Vilin97  submitted a paper about 2 months ago

A Neural Score-Based Particle Method for the Vlasov-Maxwell-Landau System

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 10