ChristianZ97/satp-policy-goal-mnetlab731
Reinforcement Learning • Updated
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 18 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer updated a dataset 1 day ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation published a dataset 1 day ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablationOrganizations
models 6
ChristianZ97/satp-policy-goal
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 20
ChristianZ97/NuminaMath-LEAN-satp-buffer
Viewer • Updated • 38.6k • 312
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation
Viewer • Updated • 36.7k • 11
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp
Viewer • Updated • 13.2k • 1.57k
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp
Viewer • Updated • 47k • 1.95k
ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup
Viewer • Updated • 95k • 24
ChristianZ97/putnambench-satp
Viewer • Updated • 672 • 40
ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard
Viewer • Updated • 41k • 19
ChristianZ97/minif2f-satp
Viewer • Updated • 488 • 152
ChristianZ97/NuminaMath-LEAN-satp-gaps
Viewer • Updated • 10.8k • 142
ChristianZ97/NuminaMath-LEAN-satp
Viewer • Updated • 81.1k • 498