Kai Yuan Jeng

ChristianZ97's activity

• All
• Models
• Datasets
• Spaces
• Buckets
• Papers
• Collections
• Community
• Posts
• Upvotes
• Likes
• Articles

updated a dataset about 22 hours ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

Viewer • Updated about 22 hours ago • 38.6k • 312

updated a dataset 1 day ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation

Viewer • Updated 1 day ago • 36.7k • 11

published a dataset 1 day ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation

Viewer • Updated 1 day ago • 36.7k • 11

updated a model 1 day ago

ChristianZ97/satp-policy-goal-mnetlab731

Reinforcement Learning • Updated 1 day ago

published a model 1 day ago

ChristianZ97/satp-policy-goal-mnetlab731

Reinforcement Learning • Updated 1 day ago

updated a model 4 days ago

ChristianZ97/satp-policy-goal

Reinforcement Learning • Updated 4 days ago

updated a model 5 days ago

ChristianZ97/satp-policy-goal-dnyang172

Reinforcement Learning • Updated 4 days ago

published a model 5 days ago

ChristianZ97/satp-policy-goal-dnyang172

Reinforcement Learning • Updated 4 days ago

updated 2 datasets 7 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp

Viewer • Updated 7 days ago • 13.2k • 1.57k

ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp

Viewer • Updated 7 days ago • 47k • 1.95k

published a dataset 10 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp

Viewer • Updated 7 days ago • 13.2k • 1.57k

updated a dataset 10 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup

Viewer • Updated 10 days ago • 95k • 24

published a dataset 10 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-v1-backup

Viewer • Updated 10 days ago • 95k • 24

published a model 11 days ago

ChristianZ97/satp-policy-goal

Reinforcement Learning • Updated 4 days ago

updated a dataset 12 days ago

ChristianZ97/putnambench-satp

Viewer • Updated 12 days ago • 672 • 40

published a dataset 12 days ago

ChristianZ97/putnambench-satp

Viewer • Updated 12 days ago • 672 • 40

published a dataset 13 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp

Viewer • Updated 7 days ago • 47k • 1.95k

updated a dataset 14 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard

Viewer • Updated 14 days ago • 41k • 19

published a dataset 14 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-2key-discard

Viewer • Updated 14 days ago • 41k • 19

updated a dataset 15 days ago

ChristianZ97/minif2f-satp

Viewer • Updated 15 days ago • 488 • 152