Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
Log In
Sign Up
1
7
Kai Yuan Jeng
ChristianZ97
Follow
0 followers
·
1 following
AI & ML interests
None yet
Recent Activity
updated
a dataset
8 days ago
ChristianZ97/proofnet-satp
updated
a model
9 days ago
ChristianZ97/satp-policy-goal-meanpool
published
a model
9 days ago
ChristianZ97/satp-policy-goal-meanpool
View all activity
Organizations
ChristianZ97
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a dataset
8 days ago
ChristianZ97/proofnet-satp
Viewer
•
Updated
8 days ago
•
371
•
41
updated
a model
9 days ago
ChristianZ97/satp-policy-goal-meanpool
Reinforcement Learning
•
Updated
9 days ago
published
a model
9 days ago
ChristianZ97/satp-policy-goal-meanpool
Reinforcement Learning
•
Updated
9 days ago
published
a dataset
18 days ago
ChristianZ97/proofnet-satp
Viewer
•
Updated
8 days ago
•
371
•
41
updated
a dataset
21 days ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-main
Viewer
•
Updated
21 days ago
•
30.7k
•
36
published
a dataset
21 days ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-main
Viewer
•
Updated
21 days ago
•
30.7k
•
36
updated
a model
22 days ago
ChristianZ97/satp-policy-goal
Reinforcement Learning
•
Updated
22 days ago
updated
a dataset
25 days ago
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer
•
Updated
24 days ago
•
32.1k
•
134
updated
a dataset
29 days ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation
Viewer
•
Updated
29 days ago
•
38.6k
•
71
published
a dataset
about 1 month ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation
Viewer
•
Updated
29 days ago
•
38.6k
•
71
updated
a model
about 1 month ago
ChristianZ97/satp-policy-goal-mnetlab731
Reinforcement Learning
•
Updated
May 12
published
a model
about 1 month ago
ChristianZ97/satp-policy-goal-mnetlab731
Reinforcement Learning
•
Updated
May 12
updated
a model
about 1 month ago
ChristianZ97/satp-policy-goal-dnyang172
Reinforcement Learning
•
Updated
May 9
published
a model
about 1 month ago
ChristianZ97/satp-policy-goal-dnyang172
Reinforcement Learning
•
Updated
May 9
updated
2 datasets
about 1 month ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
Viewer
•
Updated
May 7
•
13.2k
•
51
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Viewer
•
Updated
May 7
•
47k
•
36
published
a dataset
about 1 month ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
Viewer
•
Updated
May 7
•
13.2k
•
51
updated
a dataset
about 1 month ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup
Viewer
•
Updated
May 3
•
95k
•
25
published
a dataset
about 1 month ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup
Viewer
•
Updated
May 3
•
95k
•
25
published
a model
about 1 month ago
ChristianZ97/satp-policy-goal
Reinforcement Learning
•
Updated
22 days ago
Load more