ChristianZ97/satp-policy-goal-meanpool
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a dataset 1 day ago
ChristianZ97/proofnet-satp updated a model 1 day ago
ChristianZ97/satp-policy-goal-meanpool published a model 2 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 • 45
ChristianZ97/NuminaMath-LEAN-satp-buffer-main
Viewer • Updated • 30.7k • 30
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer • Updated • 32.1k • 165
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation
Viewer • Updated • 38.6k • 90
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
Viewer • Updated • 13.2k • 130
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Viewer • Updated • 47k • 123
ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup
Viewer • Updated • 95k • 27
ChristianZ97/putnambench-satp
Viewer • Updated • 672 • 45
ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard
Viewer • Updated • 41k • 27
ChristianZ97/minif2f-satp
Viewer • Updated • 488 • 272