Hugging Face's logo
Evan Wang's picture
1

Evan Wang

evanywang
ยท

AI & ML interests

None yet

Recent Activity

authored a paper about 22 hours ago
Learning to Repair Lean Proofs from Compiler Feedback
upvoted a paper 1 day ago
Learning to Repair Lean Proofs from Compiler Feedback
View all activity

Organizations

University of Washington's profile picture University of Washington Math AI Lab's profile picture