Kai Yuan Jeng's picture

Kai Yuan Jeng

ChristianZ97

·

AI & ML interests

None yet

Recent Activity

updated a model about 16 hours ago

ChristianZ97/satp-policy-goal

updated a dataset 3 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

updated a dataset 7 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation

View all activity

Organizations

ChristianZ97 's datasets 20

ChristianZ97/NuminaMath-LEAN-satp-buffer

Viewer • Updated 3 days ago • 32.1k • 386

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation

Viewer • Updated 7 days ago • 38.6k • 67

ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp

Viewer • Updated 15 days ago • 13.2k • 1.58k

ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp

Viewer • Updated 15 days ago • 47k • 1.97k

ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup

Viewer • Updated 19 days ago • 95k • 30

ChristianZ97/putnambench-satp

Viewer • Updated 20 days ago • 672 • 46

ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard

Viewer • Updated 22 days ago • 41k • 24

ChristianZ97/minif2f-satp

Viewer • Updated 24 days ago • 488 • 202

ChristianZ97/NuminaMath-LEAN-satp-gaps

Viewer • Updated 24 days ago • 10.8k • 182

ChristianZ97/NuminaMath-LEAN-satp

Viewer • Updated 24 days ago • 81.1k • 545

ChristianZ97/NuminaMath-LEAN-satp-buffer-planf-v1-Temp

Viewer • Updated 24 days ago • 884 • 31

ChristianZ97/NuminaMath-LEAN-satp-buffer-discard

Viewer • Updated 24 days ago • 12.6k • 79

ChristianZ97/NuminaMath-LEAN-SATP-cleaned

Viewer • Updated 30 days ago • 108k • 96

ChristianZ97/DSP-Plus-miniF2F-gaps

Viewer • Updated Apr 10 • 31.5k • 10

ChristianZ97/PutnamBench-lean4

Viewer • Updated Apr 7 • 672 • 29

ChristianZ97/NuminaMath-LEAN-Expert-Iteration

Viewer • Updated Apr 6 • 512 • 10

ChristianZ97/NuminaMath-LEAN-Aesop-Config

Viewer • Updated Apr 6 • 41.8k • 9

ChristianZ97/NuminaMath-LEAN-Filtered-Seed

Viewer • Updated Feb 24 • 5.61k • 5

ChristianZ97/minif2f_test-AlphaRenamed

Viewer • Updated Jan 27 • 244 • 80

ChristianZ97/NuminaMath-LEAN-cleaned

Viewer • Updated Jan 15 • 108k • 35