ChristianZ97/satp-policy-goal-meanpool
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a dataset 13 days ago
ChristianZ97/proofnet-satp updated a model 13 days ago
ChristianZ97/satp-policy-goal-meanpool published a model 14 days ago
ChristianZ97/satp-policy-goal-meanpoolOrganizations
models 7
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 22
ChristianZ97/proofnet-satp
Viewer • Updated • 371 • 44
ChristianZ97/NuminaMath-LEAN-satp-buffer-main
Viewer • Updated • 30.7k • 40
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer • Updated • 32.1k • 103
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation
Viewer • Updated • 38.6k • 39
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
Viewer • Updated • 13.2k • 48
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Viewer • Updated • 47k • 31
ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup
Viewer • Updated • 95k • 24
ChristianZ97/putnambench-satp
Viewer • Updated • 672 • 39
ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard
Viewer • Updated • 41k • 25
ChristianZ97/minif2f-satp
Viewer • Updated • 488 • 328