Hugging Face's logo
Evan Wang's picture
1

Evan Wang

evanywang
ยท

AI & ML interests

None yet

Recent Activity

authored a paper 15 minutes ago
Learning to Repair Lean Proofs from Compiler Feedback
upvoted a paper about 10 hours 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