ChristianZ97/satp-policy-v4.27
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a model about 3 hours ago
ChristianZ97/satp-policy-v4.27 published a model 10 days ago
ChristianZ97/satp-policy-v4.27 updated a model 11 days ago
ChristianZ97/satp-policy-v2Organizations
models 10
ChristianZ97/satp-policy-v2
Reinforcement Learning • Updated
ChristianZ97/satp-policy-v2-alphaproof
Reinforcement Learning • Updated • 1
ChristianZ97/satp-policy-goal-meanpool
Reinforcement Learning • Updated
ChristianZ97/satp-policy-goal
Reinforcement Learning • Updated
ChristianZ97/satp-policy-goal-mnetlab731
Reinforcement Learning • Updated
ChristianZ97/satp-policy-goal-dnyang172
Reinforcement Learning • Updated
ChristianZ97/SATP-aesop-policy-xatten
Reinforcement Learning • Updated
ChristianZ97/SATP-aesop-policy
Reinforcement Learning • Updated
ChristianZ97/aesop-policy-v0.1
Updated
datasets 27
ChristianZ97/putnambench-satp-v4.27
Viewer • Updated • 672 • 39
ChristianZ97/minif2f-satp-v4.27
Viewer • Updated • 488 • 108
ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27
Viewer • Updated • 9.89k • 74 • 1
ChristianZ97/NuminaMath-LEAN-satp-v4.27
Viewer • Updated • 75k • 75
ChristianZ97/minif2f-satp-alphaproof
Viewer • Updated • 488 • 123 • 1
ChristianZ97/proofnet-satp
Viewer • Updated • 371 • 34
ChristianZ97/NuminaMath-LEAN-satp-buffer-main
Viewer • Updated • 30.7k • 17
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer • Updated • 32.1k • 21
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation
Viewer • Updated • 38.6k • 28
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
Viewer • Updated • 13.2k • 15