Hugging Face
Models
Datasets
Spaces
Posts
Docs
Enterprise
Pricing
Log In
Sign Up
4
1
9
Kaiyu Yang
kaiyuy
Follow
p-song1's profile picture
shuyuej's profile picture
JasinJiang's profile picture
14 followers
·
0 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
liked
a dataset
10 months ago
math-ai/AutoMathText
Viewer
•
Updated
Oct 30
•
7.4M
•
31.2k
•
160
liked
3 models
about 1 year ago
EleutherAI/llemma_34b
Text Generation
•
Updated
Apr 3
•
410
•
93
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Updated
Jul 16
•
15
•
1
kaiyuy/leandojo-lean4-tacgen-byt5-small
Text2Text Generation
•
Updated
Jul 16
•
1.27k
•
12
liked
5 models
over 1 year ago
jmeadows17/MathT5-large
Text Generation
•
Updated
Oct 11
•
31
•
4
bigcode/santacoder
Text Generation
•
Updated
Oct 12, 2023
•
4.74k
•
330
hoskinson-center/proofGPT-v0.1
Text Generation
•
Updated
Feb 15, 2023
•
1.2k
•
3
hoskinson-center/proofGPT-v0.1-6.7B
Text Generation
•
Updated
Feb 15, 2023
•
1.2k
•
9
bigcode/starcoder
Text Generation
•
Updated
Oct 8
•
16.4k
•
•
2.83k
Load more