ChristianZ97/SATP-aesop-policy
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
AI & ML interests
None yet
Recent Activity
updated a dataset 1 day ago
ChristianZ97/PutnamBench-lean4 published a dataset 1 day ago
ChristianZ97/PutnamBench-lean4 updated a model 3 days ago
ChristianZ97/SATP-aesop-policyOrganizations
None yet
datasets 7
ChristianZ97/PutnamBench-lean4
Viewer • Updated • 672
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
Viewer • Updated • 512 • 112
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer • Updated • 17.7k • 59
ChristianZ97/NuminaMath-LEAN-Aesop-Config
Viewer • Updated • 41.8k • 123
ChristianZ97/NuminaMath-LEAN-Filtered-Seed
Viewer • Updated • 5.61k • 14
ChristianZ97/minif2f_test-AlphaRenamed
Viewer • Updated • 244 • 14
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer • Updated • 108k • 91