Kai Yuan Jeng's picture

1 7

Kai Yuan Jeng

ChristianZ97

AI & ML interests

None yet

Recent Activity

updated a model about 12 hours ago

ChristianZ97/SATP-aesop-policy

published a model 4 days ago

ChristianZ97/SATP-aesop-policy

updated a dataset 11 days ago

ChristianZ97/NuminaMath-LEAN-Filterd

View all activity

Organizations

None yet

models 2

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated about 1 hour ago

ChristianZ97/aesop-policy-v0.1

datasets 3

ChristianZ97/NuminaMath-LEAN-Filterd

Viewer • Updated 11 days ago • 5.61k • 219

ChristianZ97/minif2f_test-AlphaRenamed

Viewer • Updated 17 days ago • 244 • 10

ChristianZ97/NuminaMath-LEAN-cleaned

Viewer • Updated 30 days ago • 108k • 541