Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
Qi Gao
IkuyoIkuyo
Follow
21world's profile picture
WhiteGiverPlus's profile picture
2 followers
·
3 following
AI & ML interests
None yet
Recent Activity
updated
a model
15 days ago
FrenzyMath/Herald_translator
updated
a Space
17 days ago
FrenzyMath/README
published
a Space
17 days ago
FrenzyMath/README
View all activity
Organizations
IkuyoIkuyo
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a model
15 days ago
FrenzyMath/Herald_translator
Text Generation
•
Updated
15 days ago
•
273
updated
a Space
17 days ago
Running
README
🦀
published
a Space
17 days ago
Running
README
🦀
updated
a dataset
19 days ago
FrenzyMath/Herald_proofs
Viewer
•
Updated
19 days ago
•
44.6k
•
184
updated
a dataset
28 days ago
FrenzyMath/Herald_statements
Viewer
•
Updated
28 days ago
•
580k
•
99
published
2 datasets
about 1 month ago
FrenzyMath/Herald_proofs
Viewer
•
Updated
19 days ago
•
44.6k
•
184
FrenzyMath/Herald_statements
Viewer
•
Updated
28 days ago
•
580k
•
99
updated
a dataset
about 1 month ago
IkuyoIkuyo/lean_universe_with_proof_extra
Viewer
•
Updated
Feb 9
•
328k
•
8
published
a dataset
about 1 month ago
IkuyoIkuyo/lean_universe_with_proof_extra
Viewer
•
Updated
Feb 9
•
328k
•
8
updated
a dataset
about 1 month ago
IkuyoIkuyo/lean_universe_with_proof
Viewer
•
Updated
Feb 9
•
314k
•
12
published
a dataset
about 1 month ago
IkuyoIkuyo/lean_universe_with_proof
Viewer
•
Updated
Feb 9
•
314k
•
12
updated
2 datasets
3 months ago
IkuyoIkuyo/Herald_with_proof
Viewer
•
Updated
Dec 29, 2024
•
92.2k
•
12
IkuyoIkuyo/RAG_wkbk_with_proof
Viewer
•
Updated
Dec 28, 2024
•
25.2k
•
7
Load more