Kai Yuan Jeng

ChristianZ97

·

AI & ML interests

None yet

Recent Activity

updated a model 2 days ago

ChristianZ97/satp-policy-v2

published a model 2 days ago

ChristianZ97/satp-policy-v2

liked a model 7 days ago

empero-ai/Qwythos-9B-Claude-Mythos-5-1M

View all activity

Organizations

models 8

ChristianZ97/satp-policy-v2

Reinforcement Learning • Updated 2 days ago

ChristianZ97/satp-policy-goal-meanpool

Reinforcement Learning • Updated 27 days ago

ChristianZ97/satp-policy-goal

Reinforcement Learning • Updated May 21

ChristianZ97/satp-policy-goal-mnetlab731

Reinforcement Learning • Updated May 12

ChristianZ97/satp-policy-goal-dnyang172

Reinforcement Learning • Updated May 9

ChristianZ97/SATP-aesop-policy-xatten

Reinforcement Learning • Updated Apr 25

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated Apr 13

ChristianZ97/aesop-policy-v0.1

datasets 22

ChristianZ97/proofnet-satp

Viewer • Updated 27 days ago • 371 • 37

ChristianZ97/NuminaMath-LEAN-satp-buffer-main

Viewer • Updated May 22 • 30.7k • 14

ChristianZ97/NuminaMath-LEAN-satp-buffer

Viewer • Updated May 19 • 32.1k • 42

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation

Viewer • Updated May 14 • 38.6k • 13

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

Viewer • Updated May 7 • 13.2k • 35

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

Viewer • Updated May 7 • 47k • 19

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

Viewer • Updated May 3 • 95k • 16

ChristianZ97/putnambench-satp

Viewer • Updated May 2 • 672 • 13

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

Viewer • Updated Apr 30 • 41k • 20

ChristianZ97/minif2f-satp

Viewer • Updated Apr 28 • 488 • 399

View 22 datasets