Hugging Face
Models
Datasets
Spaces
Community
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
5 days ago
ChristianZ97/DSP-Plus-miniF2F-gaps
published
a dataset
5 days ago
ChristianZ97/DSP-Plus-miniF2F-gaps
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
5
Sort: Recently updated
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer
•
Updated
5 days ago
•
451
•
13
ChristianZ97/NuminaMath-LEAN-Filtered-Seed
Viewer
•
Updated
5 days ago
•
5.61k
•
6
ChristianZ97/NuminaMath-LEAN-Filterd
Viewer
•
Updated
10 days ago
•
5.61k
•
415
ChristianZ97/minif2f_test-AlphaRenamed
Viewer
•
Updated
Jan 27
•
244
•
11
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer
•
Updated
Jan 15
•
108k
•
354