Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Log In
Sign Up
1
7
Kai Yuan Jeng
ChristianZ97
Follow
AI & ML interests
None yet
Recent Activity
updated
a model
3 days ago
ChristianZ97/SATP-aesop-policy
updated
a dataset
3 days ago
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
updated
a dataset
3 days ago
ChristianZ97/NuminaMath-LEAN-Aesop-Config
View all activity
Organizations
None yet
models
2
Sort: Recently updated
ChristianZ97/SATP-aesop-policy
Reinforcement Learning
•
Updated
3 days ago
ChristianZ97/aesop-policy-v0.1
Updated
Jan 11
datasets
6
Sort: Recently updated
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
Viewer
•
Updated
3 days ago
•
507
•
119
ChristianZ97/NuminaMath-LEAN-Aesop-Config
Viewer
•
Updated
3 days ago
•
40.7k
•
123
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer
•
Updated
28 days ago
•
1.07k
•
68
ChristianZ97/NuminaMath-LEAN-Filtered-Seed
Viewer
•
Updated
Feb 24
•
5.61k
•
15
ChristianZ97/minif2f_test-AlphaRenamed
Viewer
•
Updated
Jan 27
•
244
•
20
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer
•
Updated
Jan 15
•
108k
•
91