Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
Rao
Samarth265
Follow
0 followers
·
1 following
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
Samarth265
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
upvoted
a
paper
about 22 hours ago
Learning to Repair Lean Proofs from Compiler Feedback
Paper
•
2602.02990
•
Published
3 days ago
•
24