Kai Yuan Jeng's picture

1 7

Kai Yuan Jeng

ChristianZ97

AI & ML interests

None yet

Recent Activity

updated a model about 1 hour ago

ChristianZ97/SATP-aesop-policy

updated a dataset about 6 hours ago

ChristianZ97/NuminaMath-LEAN-Filterd

published a model 7 days ago

ChristianZ97/SATP-aesop-policy

View all activity

Organizations

None yet

ChristianZ97 's datasets 3

ChristianZ97/NuminaMath-LEAN-Filterd

Viewer • Updated about 6 hours ago • 5.61k • 272

ChristianZ97/minif2f_test-AlphaRenamed

Viewer • Updated 20 days ago • 244 • 12

ChristianZ97/NuminaMath-LEAN-cleaned

Viewer • Updated Jan 15 • 108k • 506