ChristianZ97/SATP-aesop-policy-xatten
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 4 hours ago
ChristianZ97/putnambench-satp published a dataset about 4 hours ago
ChristianZ97/putnambench-satp updated a dataset about 9 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-TempOrganizations
datasets 17
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Updated • 76
ChristianZ97/putnambench-satp
Viewer • Updated • 672
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer • Updated • 80.6k • 176
ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard
Viewer • Updated • 41k • 13
ChristianZ97/minif2f-satp
Viewer • Updated • 488 • 59
ChristianZ97/NuminaMath-LEAN-satp-gaps
Viewer • Updated • 10.8k • 58
ChristianZ97/NuminaMath-LEAN-satp
Viewer • Updated • 81.1k • 83
ChristianZ97/NuminaMath-LEAN-satp-buffer-planf-v1-Temp
Viewer • Updated • 884 • 21
ChristianZ97/NuminaMath-LEAN-satp-buffer-discard
Viewer • Updated • 12.6k • 56
ChristianZ97/NuminaMath-LEAN-SATP-cleaned
Viewer • Updated • 108k • 75