Kai Yuan Jeng's picture

Kai Yuan Jeng

ChristianZ97

AI & ML interests

None yet

Recent Activity

updated a dataset about 13 hours ago

ChristianZ97/NuminaMath-LEAN-Aesop-Config

updated a model 3 days ago

ChristianZ97/SATP-aesop-policy

updated a dataset 3 days ago

ChristianZ97/NuminaMath-LEAN-Expert-Iteration

View all activity

Organizations

None yet

models 2

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated 3 days ago

ChristianZ97/aesop-policy-v0.1

datasets 6

ChristianZ97/NuminaMath-LEAN-Aesop-Config

Viewer • Updated about 13 hours ago • 38k • 72

ChristianZ97/NuminaMath-LEAN-Expert-Iteration

Viewer • Updated 3 days ago • 515 • 67

ChristianZ97/DSP-Plus-miniF2F-gaps

Viewer • Updated 17 days ago • 1.07k • 71

ChristianZ97/NuminaMath-LEAN-Filtered-Seed

Viewer • Updated 25 days ago • 5.61k • 11

ChristianZ97/minif2f_test-AlphaRenamed

Viewer • Updated Jan 27 • 244 • 16

ChristianZ97/NuminaMath-LEAN-cleaned

Viewer • Updated Jan 15 • 108k • 111