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 2 hours ago

uw-math-ai/theorem-search

Siyuan233  authored a paper about 3 hours ago

Learning to Repair Lean Proofs from Compiler Feedback

ericleonen  updated a dataset about 19 hours ago

uw-math-ai/theorem-search-dataset

View all activity

Papers

Semantic Search over 9 Million Mathematical Theorems

Learning to Repair Lean Proofs from Compiler Feedback

View all Papers

Team members 9