Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
1
Chendong Song
Cosmoscd
Follow
21world's profile picture
1 follower
·
1 following
AI & ML interests
None yet
Recent Activity
upvoted
an
article
25 days ago
Kimina-Prover: Applying Test-time RL Search on Large Formal Reasoning Models
published
a dataset
about 1 month ago
Cosmoscd/GeometryLeanPrompt0415
View all activity
Organizations
models
0
None public yet
datasets
2
Sort: Recently updated
Cosmoscd/GeometryLeanPrompt0415
Updated
Jul 2
•
11
Cosmoscd/RLtraindata
Updated
May 6
•
2