Hugging Face's logo
Rao's picture
1

Rao

Samarth265
·

AI & ML interests

None yet

Recent Activity

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

Organizations

University of Washington's profile picture