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

slszeto  updated a Space 1 day ago

uw-math-ai/theorem-search

slszeto  published a Space 14 days ago

uw-math-ai/theorem-search

Vilin97  new activity 27 days ago

uw-math-ai/theorem-search:Apply for community grant: Academic project (gpu and storage)

View all activity

Team members 5