ChristianZ97/satp-policy-v2
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 11 hours ago
ChristianZ97/putnambench-satp-v4.27 published a dataset about 11 hours ago
ChristianZ97/putnambench-satp-v4.27 updated a dataset about 11 hours ago
ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27Organizations
models 9
ChristianZ97/satp-policy-v2-alphaproof
Reinforcement Learning • Updated
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 • 5
ChristianZ97/minif2f-satp-v4.27
Viewer • Updated • 488 • 20
ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27
Viewer • Updated • 9.89k • 5 • 1
ChristianZ97/NuminaMath-LEAN-satp-v4.27
Viewer • Updated • 75k • 5
ChristianZ97/minif2f-satp-alphaproof
Viewer • Updated • 488 • 51 • 1
ChristianZ97/proofnet-satp
Viewer • Updated • 371 • 21
ChristianZ97/NuminaMath-LEAN-satp-buffer-main
Viewer • Updated • 30.7k • 14
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer • Updated • 32.1k • 10
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation
Viewer • Updated • 38.6k • 27
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
Viewer • Updated • 13.2k • 10