Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
免费去水印
Log In
Sign Up
2
2
Roozbeh Yousefzadeh
roozbeh-yz
Follow
dark-pen's profile picture
FermiQ's profile picture
2 followers
·
2 following
roozbeh_yz
roozbeh-yz
AI & ML interests
None yet
Recent Activity
upvoted
a
paper
about 9 hours ago
Mathesis: Towards Formal Theorem Proving from Natural Languages
new
activity
about 1 month ago
roozbeh-yz/miniF2F_v2:
Improve dataset card: Add metadata, detailed description, and citation
updated
a dataset
about 1 month ago
roozbeh-yz/miniF2F_v2
View all activity
Organizations
None yet
roozbeh-yz
's datasets
2
Sort: Recently updated
roozbeh-yz/miniF2F_v2
Preview
•
Updated
Nov 23
•
41
•
1
roozbeh-yz/IMO-Steps
Viewer
•
Updated
Mar 13
•
2
•
209
•
3
×
🎉 Free Image Generator Now Available!
Totally Free + Zero Barriers + No Login Required
Visit Now