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  authored a paper about 4 hours ago

REALEDIT: Reddit Edits As a Large-scale Empirical Dataset for Image Transformations

Vilin97  authored a paper about 4 hours ago

Learning to Repair Lean Proofs from Compiler Feedback

1004da  authored a paper about 4 hours ago

Learning to Repair Lean Proofs from Compiler Feedback

View all activity

Team members 9