Hugging Face's logo
Activity Feed Request to join this org

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 5 hours ago
REALEDIT: Reddit Edits As a Large-scale Empirical Dataset for Image Transformations
Vilin97  authored a paper about 5 hours ago
Learning to Repair Lean Proofs from Compiler Feedback
1004da  authored a paper about 5 hours ago
Learning to Repair Lean Proofs from Compiler Feedback
View all activity

Vilin97 
authored 2 papers about 5 hours ago
1004da 
authored a paper about 5 hours ago
evanywang 
authored a paper about 5 hours ago
sgvtc 
updated a dataset about 15 hours ago
Vilin97 
published a dataset about 15 hours ago
Vilin97 
updated a dataset about 15 hours ago
ericleonen 
updated a dataset about 15 hours ago
sgvtc 
authored a paper about 21 hours ago
Vilin97 
in uw-math-ai/APRIL about 23 hours ago

Add link to paper and ArXiv metadata
#2 opened 1 day ago by
nielsr
slszeto 
updated a Space 2 days ago
sgvtc 
in uw-math-ai/APRIL 3 days ago

Update README.md
#1 opened 3 days ago by
sgvtc
Vilin97 
published a dataset 3 days ago
Vilin97 
updated a dataset 3 days ago
slszeto 
published a Space 3 months ago
Vilin97 
in uw-math-ai/theorem-search 4 months ago

Apply for community grant: Academic project (gpu and storage)
#1 opened 4 months ago by
Vilin97