ChristianZ97/satp-policy-v4.27
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
liked a model 1 day ago
mistralai/Leanstral-1.5-119B-A6B published a model 10 days ago
ChristianZ97/satp-policy-v4.27 updated a model 10 days ago
ChristianZ97/satp-policy-v4.27Organizations
datasets 20
ChristianZ97/proofnet-satp-v4.27
Viewer • Updated • 371 • 27
ChristianZ97/putnambench-satp-v4.27
Viewer • Updated • 672 • 38
ChristianZ97/minif2f-satp-v4.27
Viewer • Updated • 488 • 33
ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27
Viewer • Updated • 9.89k • 24 • 1
ChristianZ97/NuminaMath-LEAN-satp-v4.27
Viewer • Updated • 75k • 87
ChristianZ97/minif2f-satp-alphaproof
Viewer • Updated • 488 • 71 • 1
ChristianZ97/proofnet-satp
Viewer • Updated • 371 • 28
ChristianZ97/NuminaMath-LEAN-satp-buffer-main
Viewer • Updated • 30.7k • 13
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer • Updated • 32.1k • 18
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation
Viewer • Updated • 38.6k • 15