Kai Yuan Jeng's picture

Kai Yuan Jeng

ChristianZ97

AI & ML interests

None yet

Recent Activity

updated a dataset 3 days ago

ChristianZ97/DSP-Plus-miniF2F-gaps

updated a dataset 6 days ago

ChristianZ97/PutnamBench-lean4

published a dataset 6 days ago

ChristianZ97/PutnamBench-lean4

View all activity

Organizations

None yet

ChristianZ97 's datasets 7

ChristianZ97/DSP-Plus-miniF2F-gaps

Viewer • Updated 3 days ago • 31.5k • 58

ChristianZ97/PutnamBench-lean4

Viewer • Updated 6 days ago • 672 • 30

ChristianZ97/NuminaMath-LEAN-Expert-Iteration

Viewer • Updated 7 days ago • 512 • 101

ChristianZ97/NuminaMath-LEAN-Aesop-Config

Viewer • Updated 7 days ago • 41.8k • 91

ChristianZ97/NuminaMath-LEAN-Filtered-Seed

Viewer • Updated Feb 24 • 5.61k • 14

ChristianZ97/minif2f_test-AlphaRenamed

Viewer • Updated Jan 27 • 244 • 15

ChristianZ97/NuminaMath-LEAN-cleaned

Viewer • Updated Jan 15 • 108k • 71