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

sgvtc  updated a dataset about 5 hours ago

uw-math-ai/APRIL

Vilin97  published a dataset about 6 hours ago

uw-math-ai/theorem-search-dataset

Vilin97  updated a dataset about 6 hours ago

uw-math-ai/theorem-search-dataset

View all activity

Team members 9