Kai Yuan Jeng's picture

Kai Yuan Jeng

ChristianZ97

·

AI & ML interests

None yet

Recent Activity

updated a dataset about 16 hours ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

updated a dataset about 16 hours ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation

updated a model about 16 hours ago

ChristianZ97/satp-policy-goal

View all activity

Organizations

models 6

ChristianZ97/satp-policy-goal

Reinforcement Learning • Updated about 16 hours ago

ChristianZ97/satp-policy-goal-mnetlab731

Reinforcement Learning • Updated 3 days ago

ChristianZ97/satp-policy-goal-dnyang172

Reinforcement Learning • Updated 6 days ago

ChristianZ97/SATP-aesop-policy-xatten

Reinforcement Learning • Updated 20 days ago

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated Apr 13

ChristianZ97/aesop-policy-v0.1

datasets 20

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation

Viewer • Updated about 16 hours ago • 38.6k • 39

ChristianZ97/NuminaMath-LEAN-satp-buffer

Viewer • Updated about 16 hours ago • 23.5k • 330

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

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

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

Viewer • Updated 8 days ago • 47k • 1.96k

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

Viewer • Updated 12 days ago • 95k • 24

ChristianZ97/putnambench-satp

Viewer • Updated 13 days ago • 672 • 41

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

Viewer • Updated 15 days ago • 41k • 19

ChristianZ97/minif2f-satp

Viewer • Updated 17 days ago • 488 • 160

ChristianZ97/NuminaMath-LEAN-satp-gaps

Viewer • Updated 17 days ago • 10.8k • 150

ChristianZ97/NuminaMath-LEAN-satp

Viewer • Updated 17 days ago • 81.1k • 507

View 20 datasets