ChristianZ97/satp-policy-goal
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 16 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp updated a dataset about 16 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp updated a dataset 1 day ago
ChristianZ97/NuminaMath-LEAN-satp-bufferOrganizations
datasets 19
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
Viewer • Updated • 13.2k • 1.08k
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Preview • Updated • 1.44k
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer • Updated • 131k • 258
ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup
Viewer • Updated • 95k • 16
ChristianZ97/putnambench-satp
Viewer • Updated • 672 • 30
ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard
Viewer • Updated • 41k • 18
ChristianZ97/minif2f-satp
Viewer • Updated • 488 • 93
ChristianZ97/NuminaMath-LEAN-satp-gaps
Viewer • Updated • 10.8k • 86
ChristianZ97/NuminaMath-LEAN-satp
Viewer • Updated • 81.1k • 413
ChristianZ97/NuminaMath-LEAN-satp-buffer-planf-v1-Temp
Viewer • Updated • 884 • 24