Kai Yuan Jeng's picture

Kai Yuan Jeng

ChristianZ97

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 24 hours ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

published a dataset about 24 hours ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

updated a dataset 1 day ago

ChristianZ97/NuminaMath-LEAN-satp-gaps

View all activity

Organizations

ChristianZ97 's datasets 14

ChristianZ97/NuminaMath-LEAN-satp-buffer

Viewer • Updated about 24 hours ago • 5.83k • 35

ChristianZ97/minif2f-satp

Viewer • Updated 1 day ago • 488 • 16

ChristianZ97/NuminaMath-LEAN-satp-gaps

Viewer • Updated 1 day ago • 904 • 16

ChristianZ97/NuminaMath-LEAN-satp

Viewer • Updated 1 day ago • 86.8k • 13

ChristianZ97/SATP-Config-Buffer-Merged-Temp

Viewer • Updated 2 days ago • 47.6k • 11

ChristianZ97/NuminaMath-LEAN-SATP-cleaned

Viewer • Updated 6 days ago • 108k • 65

ChristianZ97/SATP-Config-Buffer

Viewer • Updated 6 days ago • 41.8k • 39

ChristianZ97/DSP-Plus-miniF2F-gaps

Viewer • Updated 18 days ago • 31.5k • 65

ChristianZ97/PutnamBench-lean4

Viewer • Updated 21 days ago • 672 • 37

ChristianZ97/NuminaMath-LEAN-Expert-Iteration

Viewer • Updated 22 days ago • 512 • 57

ChristianZ97/NuminaMath-LEAN-Aesop-Config

Viewer • Updated 22 days ago • 41.8k • 52

ChristianZ97/NuminaMath-LEAN-Filtered-Seed

Viewer • Updated Feb 24 • 5.61k • 3

ChristianZ97/minif2f_test-AlphaRenamed

Viewer • Updated Jan 27 • 244 • 22

ChristianZ97/NuminaMath-LEAN-cleaned

Viewer • Updated Jan 15 • 108k • 84