Kai Yuan Jeng's picture

Kai Yuan Jeng

ChristianZ97

AI & ML interests

None yet

Recent Activity

updated a dataset about 21 hours ago

ChristianZ97/DSP-Plus-miniF2F-gaps

updated a model 5 days ago

ChristianZ97/SATP-aesop-policy

published a dataset 7 days ago

ChristianZ97/DSP-Plus-miniF2F-gaps

View all activity

Organizations

None yet

ChristianZ97 's datasets 5

ChristianZ97/DSP-Plus-miniF2F-gaps

Viewer • Updated about 21 hours ago • 804 • 15

ChristianZ97/NuminaMath-LEAN-Filtered-Seed

Viewer • Updated 7 days ago • 5.61k • 6

ChristianZ97/NuminaMath-LEAN-Filterd

Viewer • Updated 12 days ago • 5.61k • 391

ChristianZ97/minif2f_test-AlphaRenamed

Viewer • Updated Jan 27 • 244 • 11

ChristianZ97/NuminaMath-LEAN-cleaned

Viewer • Updated Jan 15 • 108k • 293