ChristianZ97/SATP-aesop-policy
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
AI & ML interests
None yet
Recent Activity
updated a dataset 2 days ago
ChristianZ97/DSP-Plus-miniF2F-gaps updated a dataset 6 days ago
ChristianZ97/PutnamBench-lean4 published a dataset 6 days ago
ChristianZ97/PutnamBench-lean4Organizations
None yet
datasets 7
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer • Updated • 31.5k • 56
ChristianZ97/PutnamBench-lean4
Viewer • Updated • 672 • 30
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
Viewer • Updated • 512 • 106
ChristianZ97/NuminaMath-LEAN-Aesop-Config
Viewer • Updated • 41.8k • 100
ChristianZ97/NuminaMath-LEAN-Filtered-Seed
Viewer • Updated • 5.61k • 14
ChristianZ97/minif2f_test-AlphaRenamed
Viewer • Updated • 244 • 15
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer • Updated • 108k • 74