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
1 day ago
ChristianZ97/proofnet-satp
updated
a model
1 day ago
ChristianZ97/satp-policy-goal-meanpool
published
a model
2 days ago
ChristianZ97/satp-policy-goal-meanpool
View all activity
Organizations
models
7
Sort: Recently updated
ChristianZ97/satp-policy-goal-meanpool
Reinforcement Learning
•
Updated
1 day ago
ChristianZ97/satp-policy-goal
Reinforcement Learning
•
Updated
15 days ago
ChristianZ97/satp-policy-goal-mnetlab731
Reinforcement Learning
•
Updated
24 days ago
ChristianZ97/satp-policy-goal-dnyang172
Reinforcement Learning
•
Updated
27 days ago
ChristianZ97/SATP-aesop-policy-xatten
Reinforcement Learning
•
Updated
Apr 25
ChristianZ97/SATP-aesop-policy
Reinforcement Learning
•
Updated
Apr 13
ChristianZ97/aesop-policy-v0.1
Updated
Jan 11
datasets
22
Sort: Recently updated
ChristianZ97/proofnet-satp
Viewer
•
Updated
1 day ago
•
371
•
45
ChristianZ97/NuminaMath-LEAN-satp-buffer-main
Viewer
•
Updated
14 days ago
•
30.7k
•
30
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer
•
Updated
17 days ago
•
32.1k
•
165
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation
Viewer
•
Updated
22 days ago
•
38.6k
•
90
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
Viewer
•
Updated
30 days ago
•
13.2k
•
130
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Viewer
•
Updated
30 days ago
•
47k
•
123
ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup
Viewer
•
Updated
May 3
•
95k
•
27
ChristianZ97/putnambench-satp
Viewer
•
Updated
May 2
•
672
•
45
ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard
Viewer
•
Updated
Apr 30
•
41k
•
27
ChristianZ97/minif2f-satp
Viewer
•
Updated
Apr 28
•
488
•
272
View 22 datasets