Kai Yuan Jeng

ChristianZ97's activity

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

updated a model about 5 hours ago

ChristianZ97/satp-policy-goal

Reinforcement Learning • Updated about 1 hour ago

updated a dataset about 11 hours ago

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

Viewer • Updated 11 minutes ago • 7.29k

published a dataset about 11 hours ago

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

Viewer • Updated 11 minutes ago • 7.29k

updated a dataset about 12 hours ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

Viewer • Updated about 5 hours ago • 99.8k • 225

updated a dataset about 15 hours ago

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

Updated less than a minute ago • 330

updated a dataset 1 day ago

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

Viewer • Updated 1 day ago • 95k • 8

published a dataset 1 day ago

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

Viewer • Updated 1 day ago • 95k • 8

published a model 1 day ago

ChristianZ97/satp-policy-goal

Reinforcement Learning • Updated about 1 hour ago

updated a dataset 2 days ago

ChristianZ97/putnambench-satp

Viewer • Updated 2 days ago • 672 • 25

published a dataset 2 days ago

ChristianZ97/putnambench-satp

Viewer • Updated 2 days ago • 672 • 25

published a dataset 4 days ago

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

Updated less than a minute ago • 330

updated a dataset 4 days ago

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

Viewer • Updated 4 days ago • 41k • 17

published a dataset 4 days ago

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

Viewer • Updated 4 days ago • 41k • 17

updated 4 datasets 6 days ago

ChristianZ97/minif2f-satp

Viewer • Updated 6 days ago • 488 • 71

ChristianZ97/NuminaMath-LEAN-satp

Viewer • Updated 6 days ago • 81.1k • 162

ChristianZ97/NuminaMath-LEAN-satp-gaps

Viewer • Updated 6 days ago • 10.8k • 66

ChristianZ97/NuminaMath-LEAN-satp-buffer-planf-v1-Temp

Viewer • Updated 6 days ago • 884 • 23

published a dataset 6 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-planf-v1-Temp

Viewer • Updated 6 days ago • 884 • 23

updated a dataset 7 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-discard

Viewer • Updated 6 days ago • 12.6k • 61

published a dataset 8 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-discard

Viewer • Updated 6 days ago • 12.6k • 61