Hugging Face
Search models, datasets, users...
Ctrl K
Models
Datasets
Spaces
Buckets
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
Kai Yuan Jeng
ChristianZ97
2
Follow
0 followers
·
2 following
AI & ML interests
None yet
Recent Activity
liked
a model
1 day ago
mistralai/Leanstral-1.5-119B-A6B
published
a model
10 days ago
ChristianZ97/satp-policy-v4.27
updated
a model
10 days ago
ChristianZ97/satp-policy-v4.27
View all activity
Organizations
ChristianZ97
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
liked
a model
1 day ago
mistralai/Leanstral-1.5-119B-A6B
Updated
Jul 15
•
422
•
234
published
a model
10 days ago
ChristianZ97/satp-policy-v4.27
Reinforcement Learning
•
Updated
10 days ago
updated
a model
10 days ago
ChristianZ97/satp-policy-v4.27
Reinforcement Learning
•
Updated
10 days ago
updated
a dataset
3 months ago
ChristianZ97/proofnet-satp-v4.27
Viewer
•
Updated
Aug 18
•
371
•
27
published
a dataset
3 months ago
ChristianZ97/proofnet-satp-v4.27
Viewer
•
Updated
Aug 18
•
371
•
27
updated
a model
4 months ago
ChristianZ97/satp-policy-v2
Reinforcement Learning
•
Updated
Jul 26
updated
a dataset
4 months ago
ChristianZ97/putnambench-satp-v4.27
Viewer
•
Updated
Jul 21
•
672
•
38
published
a dataset
4 months ago
ChristianZ97/putnambench-satp-v4.27
Viewer
•
Updated
Jul 21
•
672
•
38
updated
a dataset
4 months ago
ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27
Viewer
•
Updated
Jul 21
•
9.89k
•
24
•
1
published
a dataset
4 months ago
ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27
Viewer
•
Updated
Jul 21
•
9.89k
•
24
•
1
updated
a dataset
4 months ago
ChristianZ97/NuminaMath-LEAN-satp-v4.27
Viewer
•
Updated
Jul 21
•
75k
•
87
published
a dataset
4 months ago
ChristianZ97/NuminaMath-LEAN-satp-v4.27
Viewer
•
Updated
Jul 21
•
75k
•
87
updated
a dataset
4 months ago
ChristianZ97/minif2f-satp-v4.27
Viewer
•
Updated
Jul 21
•
488
•
33
published
a dataset
4 months ago
ChristianZ97/minif2f-satp-v4.27
Viewer
•
Updated
Jul 21
•
488
•
33
updated
a dataset
4 months ago
ChristianZ97/minif2f-satp-alphaproof
Viewer
•
Updated
Jul 21
•
488
•
71
•
1
published
a dataset
4 months ago
ChristianZ97/minif2f-satp-alphaproof
Viewer
•
Updated
Jul 21
•
488
•
71
•
1
published
a model
5 months ago
ChristianZ97/satp-policy-v2
Reinforcement Learning
•
Updated
Jul 26
updated
a dataset
5 months ago
ChristianZ97/proofnet-satp
Viewer
•
Updated
Jun 4
•
371
•
28
published
a dataset
6 months ago
ChristianZ97/proofnet-satp
Viewer
•
Updated
Jun 4
•
371
•
28
updated
a dataset
6 months ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-main
Viewer
•
Updated
May 22
•
30.7k
•
13
Load more