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
about 4 hours ago
ChristianZ97/SATP-aesop-policy
updated
a dataset
3 days ago
ChristianZ97/DSP-Plus-miniF2F-gaps
updated
a dataset
6 days ago
ChristianZ97/PutnamBench-lean4
View all activity
Organizations
None yet
ChristianZ97
's activity
All
Models
Datasets
Spaces
Buckets
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a model
about 4 hours ago
ChristianZ97/SATP-aesop-policy
Reinforcement Learning
•
Updated
about 4 hours ago
updated
a dataset
3 days ago
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer
•
Updated
3 days ago
•
31.5k
•
58
updated
a dataset
6 days ago
ChristianZ97/PutnamBench-lean4
Viewer
•
Updated
6 days ago
•
672
•
30
published
a dataset
6 days ago
ChristianZ97/PutnamBench-lean4
Viewer
•
Updated
6 days ago
•
672
•
30
updated
a dataset
7 days ago
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
Viewer
•
Updated
7 days ago
•
512
•
101
updated
a dataset
8 days ago
ChristianZ97/NuminaMath-LEAN-Aesop-Config
Viewer
•
Updated
8 days ago
•
41.8k
•
91
published
2 datasets
about 1 month ago
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
Viewer
•
Updated
7 days ago
•
512
•
101
ChristianZ97/NuminaMath-LEAN-Aesop-Config
Viewer
•
Updated
8 days ago
•
41.8k
•
91
published
a dataset
about 2 months ago
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer
•
Updated
3 days ago
•
31.5k
•
58
updated
a dataset
about 2 months ago
ChristianZ97/NuminaMath-LEAN-Filtered-Seed
Viewer
•
Updated
Feb 24
•
5.61k
•
14
published
a dataset
about 2 months ago
ChristianZ97/NuminaMath-LEAN-Filtered-Seed
Viewer
•
Updated
Feb 24
•
5.61k
•
14
updated
a model
about 2 months ago
ChristianZ97/SATP-aesop-policy
Reinforcement Learning
•
Updated
about 4 hours ago
published
a model
2 months ago
ChristianZ97/SATP-aesop-policy
Reinforcement Learning
•
Updated
about 4 hours ago
Load more