Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
4
1
10
Kaiyu Yang
kaiyuy
Follow
shuyuej's profile picture
NirJ's profile picture
gentlebowl's profile picture
12 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
7 months ago
math-ai/AutoMathText
Viewer
•
Updated
3 days ago
•
3.96M
•
497
•
146
liked
2 models
10 months ago
EleutherAI/llemma_34b
Text Generation
•
Updated
Apr 3
•
125
•
87
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Updated
Jul 16
•
3
•
1
liked
a model
11 months ago
morph-labs/morph-prover-v0-7b
Text Generation
•
Updated
Oct 25, 2023
•
16
•
35
liked
a model
12 months ago
kaiyuy/leandojo-lean4-tacgen-byt5-small
Text2Text Generation
•
Updated
Jul 16
•
9.28k
•
12
liked
2 models
about 1 year ago
jmeadows17/MathT5-large
Text Generation
•
Updated
Jul 21, 2023
•
8
•
4
bigcode/santacoder
Text Generation
•
Updated
Oct 12, 2023
•
5.62k
•
•
325
liked
3 models
over 1 year ago
hoskinson-center/proofGPT-v0.1
Text Generation
•
Updated
Feb 15, 2023
•
712
•
3
hoskinson-center/proofGPT-v0.1-6.7B
Text Generation
•
Updated
Feb 15, 2023
•
702
•
9
bigcode/starcoder
Text Generation
•
Updated
Mar 21
•
7.48k
•
•
2.78k