ChristianZ97/SATP-aesop-policy
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
AI & ML interests
None yet
Recent Activity
updated
a model 1 day ago
ChristianZ97/SATP-aesop-policy updated
a dataset 1 day ago
ChristianZ97/NuminaMath-LEAN-Expert-Iteration updated
a dataset 1 day ago
ChristianZ97/NuminaMath-LEAN-Aesop-Config Organizations
None yet
datasets 6
ChristianZ97/NuminaMath-LEAN-Expert-Iteration
Viewer
• Updated
• 490 • 40
ChristianZ97/NuminaMath-LEAN-Aesop-Config
Viewer
• Updated
• 36.3k • 45
ChristianZ97/DSP-Plus-miniF2F-gaps
Viewer
• Updated
• 1.07k • 63
ChristianZ97/NuminaMath-LEAN-Filtered-Seed
Viewer
• Updated
• 5.61k • 7
ChristianZ97/minif2f_test-AlphaRenamed
Viewer
• Updated
• 244 • 18
ChristianZ97/NuminaMath-LEAN-cleaned
Viewer
• Updated
• 108k • 183