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 about 15 hours ago

uw-math-ai/theorem-search

sgvtc  new activity about 19 hours ago

uw-math-ai/APRIL:Update README.md

Vilin97  published a dataset about 21 hours ago

uw-math-ai/APRIL

View all activity

Team members 9