ChristianZ97/SATP-aesop-policy-xatten
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 published a dataset about 21 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer updated a dataset 1 day ago
ChristianZ97/NuminaMath-LEAN-satp-gapsOrganizations
datasets 14
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer • Updated • 5.83k • 35
ChristianZ97/minif2f-satp
Viewer • Updated • 488 • 16
ChristianZ97/NuminaMath-LEAN-satp-gaps
Viewer • Updated • 904 • 16
ChristianZ97/NuminaMath-LEAN-satp
Viewer • Updated • 86.8k • 13
ChristianZ97/SATP-Config-Buffer-Merged-Temp
Viewer • Updated • 47.6k • 11
ChristianZ97/NuminaMath-LEAN-SATP-cleaned
Viewer • Updated • 108k • 65
ChristianZ97/SATP-Config-Buffer
Viewer • Updated • 41.8k • 39
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer • Updated • 31.5k • 65
ChristianZ97/PutnamBench-lean4
Viewer • Updated • 672 • 37
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
Viewer • Updated • 512 • 57