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
1 day ago
ChristianZ97/SATP-aesop-policy
updated
a dataset
1 day ago
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
updated
a dataset
2 days ago
ChristianZ97/NuminaMath-LEAN-Aesop-Config
View all activity
Organizations
None yet
ChristianZ97
's activity
All
Models
Datasets
Spaces
Papers
Collections
Community
Posts
Upvotes
Likes
Articles
updated
a model
1 day ago
ChristianZ97/SATP-aesop-policy
Reinforcement Learning
•
Updated
1 day ago
updated
a dataset
1 day ago
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
Viewer
•
Updated
1 day ago
•
490
•
40
updated
a dataset
2 days ago
ChristianZ97/NuminaMath-LEAN-Aesop-Config
Viewer
•
Updated
2 days ago
•
36.3k
•
45
published
2 datasets
9 days ago
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
Viewer
•
Updated
1 day ago
•
490
•
40
ChristianZ97/NuminaMath-LEAN-Aesop-Config
Viewer
•
Updated
2 days ago
•
36.3k
•
45
updated
a dataset
9 days ago
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer
•
Updated
9 days ago
•
1.07k
•
63
published
a dataset
17 days ago
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer
•
Updated
9 days ago
•
1.07k
•
63
updated
a dataset
17 days ago
ChristianZ97/NuminaMath-LEAN-Filtered-Seed
Viewer
•
Updated
17 days ago
•
5.61k
•
7
published
a dataset
17 days ago
ChristianZ97/NuminaMath-LEAN-Filtered-Seed
Viewer
•
Updated
17 days ago
•
5.61k
•
7
published
a model
about 1 month ago
ChristianZ97/SATP-aesop-policy
Reinforcement Learning
•
Updated
1 day ago
New activity in
ChristianZ97/minif2f_test-AlphaRenamed
about 1 month ago
[bot] Conversion to Parquet
#1 opened about 2 months ago by
parquet-converter
updated
a dataset
about 2 months ago
ChristianZ97/minif2f_test-AlphaRenamed
Viewer
•
Updated
Jan 27
•
244
•
18
published
a dataset
about 2 months ago
ChristianZ97/minif2f_test-AlphaRenamed
Viewer
•
Updated
Jan 27
•
244
•
18
updated
a dataset
about 2 months ago
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer
•
Updated
Jan 15
•
108k
•
183
published
a dataset
about 2 months ago
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer
•
Updated
Jan 15
•
108k
•
183
updated
a model
2 months ago
ChristianZ97/aesop-policy-v0.1
Updated
Jan 11
published
a model
2 months ago
ChristianZ97/aesop-policy-v0.1
Updated
Jan 11
Load more