Hugging Face
Models
Datasets
Spaces
Posts
Docs
Solutions
Pricing
Log In
Sign Up
3
11
Kaiyu Yang
kaiyuy
Follow
sunnyg's profile picture
alreadydone's profile picture
NirJ's profile picture
11 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
4 months ago
math-ai/AutoMathText
Viewer
•
Updated
Feb 28
•
3.96M
•
267
•
133
liked
2 models
7 months ago
EleutherAI/llemma_34b
Text Generation
•
Updated
Apr 3
•
1.07k
•
84
kaiyuy/ct2-leandojo-lean4-retriever-byt5-small
Updated
Jan 18
•
1
•
1
liked
2 models
9 months ago
morph-labs/morph-prover-v0-7b
Text Generation
•
Updated
Oct 25, 2023
•
8
•
34
kaiyuy/leandojo-lean4-tacgen-byt5-small
Text2Text Generation
•
Updated
Apr 26
•
924
•
12
liked
a model
11 months ago
jmeadows17/MathT5-large
Text Generation
•
Updated
Jul 21, 2023
•
23
•
4
liked
4 models
about 1 year ago
bigcode/santacoder
Text Generation
•
Updated
Oct 12, 2023
•
6.99k
•
•
325
hoskinson-center/proofGPT-v0.1
Text Generation
•
Updated
Feb 15, 2023
•
1.56k
•
3
hoskinson-center/proofGPT-v0.1-6.7B
Text Generation
•
Updated
Feb 15, 2023
•
1.58k
•
9
bigcode/starcoder
Text Generation
•
Updated
Mar 21
•
7.34k
•
•
2.74k
liked
a dataset
about 1 year ago
hoskinson-center/minif2f-lean4
Viewer
•
Updated
May 3, 2023
•
488
•
393
•
13