Kai Yuan Jeng

ChristianZ97's activity

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

updated a dataset about 8 hours ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

Viewer • Updated about 8 hours ago • 29.3k • 356

updated a model 1 day ago

ChristianZ97/satp-policy-goal

Reinforcement Learning • Updated 1 day ago

updated a dataset 4 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation

Viewer • Updated 4 days ago • 38.6k • 58

published a dataset 6 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation

Viewer • Updated 4 days ago • 38.6k • 58

updated a model 7 days ago

ChristianZ97/satp-policy-goal-mnetlab731

Reinforcement Learning • Updated 7 days ago

published a model 7 days ago

ChristianZ97/satp-policy-goal-mnetlab731

Reinforcement Learning • Updated 7 days ago

updated a model 10 days ago

ChristianZ97/satp-policy-goal-dnyang172

Reinforcement Learning • Updated 9 days ago

published a model 10 days ago

ChristianZ97/satp-policy-goal-dnyang172

Reinforcement Learning • Updated 9 days ago

updated 2 datasets 12 days ago

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

Viewer • Updated 12 days ago • 13.2k • 1.58k

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

Viewer • Updated 12 days ago • 47k • 1.96k

published a dataset 15 days ago

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

Viewer • Updated 12 days ago • 13.2k • 1.58k

updated a dataset 15 days ago

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

Viewer • Updated 15 days ago • 95k • 28

published a dataset 15 days ago

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

Viewer • Updated 15 days ago • 95k • 28

published a model 16 days ago

ChristianZ97/satp-policy-goal

Reinforcement Learning • Updated 1 day ago

updated a dataset 17 days ago

ChristianZ97/putnambench-satp

Viewer • Updated 17 days ago • 672 • 44

published a dataset 17 days ago

ChristianZ97/putnambench-satp

Viewer • Updated 17 days ago • 672 • 44

published a dataset 18 days ago

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

Viewer • Updated 12 days ago • 47k • 1.96k

updated a dataset 19 days ago

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

Viewer • Updated 19 days ago • 41k • 23

published a dataset 19 days ago

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

Viewer • Updated 19 days ago • 41k • 23

updated a dataset 20 days ago

ChristianZ97/minif2f-satp

Viewer • Updated 20 days ago • 488 • 184