ChristianZ97/satp-policy-goal
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 21 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer updated a model 2 days ago
ChristianZ97/satp-policy-goal updated a model 3 days ago
ChristianZ97/satp-policy-goal-dnyang172Organizations
datasets 19
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer • Updated • 36.7k • 290
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
Viewer • Updated • 13.2k • 1.57k
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Viewer • Updated • 47k • 1.95k
ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup
Viewer • Updated • 95k • 23
ChristianZ97/putnambench-satp
Viewer • Updated • 672 • 36
ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard
Viewer • Updated • 41k • 19
ChristianZ97/minif2f-satp
Viewer • Updated • 488 • 133
ChristianZ97/NuminaMath-LEAN-satp-gaps
Viewer • Updated • 10.8k • 118
ChristianZ97/NuminaMath-LEAN-satp
Viewer • Updated • 81.1k • 473
ChristianZ97/NuminaMath-LEAN-satp-buffer-planf-v1-Temp
Viewer • Updated • 884 • 25