ChristianZ97/SATP-aesop-policy
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
AI & ML interests
None yet
Recent Activity
updated a model 3 days ago
ChristianZ97/SATP-aesop-policy updated a dataset 3 days ago
ChristianZ97/NuminaMath-LEAN-Expert-Iteration updated a dataset 3 days ago
ChristianZ97/NuminaMath-LEAN-Aesop-ConfigOrganizations
None yet
datasets 6
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
Viewer • Updated • 507 • 119
ChristianZ97/NuminaMath-LEAN-Aesop-Config
Viewer • Updated • 40.7k • 123
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer • Updated • 1.07k • 68
ChristianZ97/NuminaMath-LEAN-Filtered-Seed
Viewer • Updated • 5.61k • 15
ChristianZ97/minif2f_test-AlphaRenamed
Viewer • Updated • 244 • 20
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer • Updated • 108k • 91