Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
4
1
9
Kaiyu Yang
kaiyuy
Follow
sunnyg's profile picture
Zory's profile picture
gentlebowl's profile picture
14 followers
·
5 following
https://yangky11.github.io/
KaiyuYang4
yangky11
AI & ML interests
None yet
Organizations
kaiyuy
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a dataset
12 months ago
math-ai/AutoMathText
Viewer
•
Updated
Oct 30, 2024
•
7.4M
•
31.1k
•
164
liked
2 models
about 1 year ago
EleutherAI/llemma_34b
Text Generation
•
Updated
Apr 3, 2024
•
525
•
94
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Updated
Jul 16, 2024
•
4
•
1
liked
6 models
over 1 year ago
kaiyuy/leandojo-lean4-tacgen-byt5-small
Text2Text Generation
•
Updated
Jul 16, 2024
•
783
•
12
jmeadows17/MathT5-large
Text Generation
•
Updated
Oct 11, 2024
•
82
•
4
bigcode/santacoder
Text Generation
•
Updated
Oct 12, 2023
•
6.42k
•
332
hoskinson-center/proofGPT-v0.1
Text Generation
•
Updated
Feb 15, 2023
•
1.63k
•
3
hoskinson-center/proofGPT-v0.1-6.7B
Text Generation
•
Updated
Feb 15, 2023
•
1.64k
•
9
bigcode/starcoder
Text Generation
•
Updated
Oct 8, 2024
•
18k
•
•
2.85k
Load more