Kai Yuan Jeng

ChristianZ97

2

·

AI & ML interests

None yet

Recent Activity

liked a model 2 days ago

mistralai/Leanstral-1.5-119B-A6B

published a model 10 days ago

ChristianZ97/satp-policy-v4.27

updated a model 10 days ago

ChristianZ97/satp-policy-v4.27

View all activity

Organizations

ChristianZ97 's datasets 20

ChristianZ97/proofnet-satp-v4.27

Viewer • Updated Aug 18 • 371 • 27

ChristianZ97/putnambench-satp-v4.27

Viewer • Updated Jul 21 • 672 • 38

ChristianZ97/minif2f-satp-v4.27

Viewer • Updated Jul 21 • 488 • 33

ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27

Viewer • Updated Jul 21 • 9.89k • 24 • 1

ChristianZ97/NuminaMath-LEAN-satp-v4.27

Viewer • Updated Jul 21 • 75k • 87

ChristianZ97/minif2f-satp-alphaproof

Viewer • Updated Jul 21 • 488 • 71 • 1

ChristianZ97/proofnet-satp

Viewer • Updated Jun 4 • 371 • 28

ChristianZ97/NuminaMath-LEAN-satp-buffer-main

Viewer • Updated May 22 • 30.7k • 13

ChristianZ97/NuminaMath-LEAN-satp-buffer

Viewer • Updated May 19 • 32.1k • 18

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation

Viewer • Updated May 14 • 38.6k • 15

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

Viewer • Updated May 3 • 95k • 17

ChristianZ97/putnambench-satp

Viewer • Updated May 2 • 672 • 48

ChristianZ97/minif2f-satp

Viewer • Updated Apr 28 • 488 • 35

ChristianZ97/NuminaMath-LEAN-satp-gaps

Viewer • Updated Apr 28 • 10.8k • 23 • 1

ChristianZ97/NuminaMath-LEAN-satp

Viewer • Updated Apr 28 • 81.1k • 32

ChristianZ97/NuminaMath-LEAN-SATP-cleaned

Viewer • Updated Apr 22 • 108k • 17

ChristianZ97/DSP-Plus-miniF2F-gaps

Viewer • Updated Apr 10 • 31.5k • 23

ChristianZ97/NuminaMath-LEAN-Expert-Iteration

Viewer • Updated Apr 6 • 512 • 10

ChristianZ97/NuminaMath-LEAN-Aesop-Config

Viewer • Updated Apr 6 • 41.8k • 39

ChristianZ97/NuminaMath-LEAN-cleaned

Viewer • Updated Jan 15 • 108k • 46