Kai Yuan Jeng

ChristianZ97's activity

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

updated a dataset about 9 hours ago

ChristianZ97/NuminaMath-LEAN-satp-buffer

Viewer • Updated about 9 hours ago • 80.6k • 176

updated a dataset about 18 hours ago

ChristianZ97/putnambench-satp

Viewer • Updated about 17 hours ago • 672

published a dataset about 18 hours ago

ChristianZ97/putnambench-satp

Viewer • Updated about 17 hours ago • 672

updated a dataset about 23 hours ago

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

Updated about 13 hours ago • 76

published a dataset 2 days ago

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

Updated about 13 hours ago • 76

updated a dataset 3 days ago

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

Viewer • Updated 3 days ago • 41k • 13

published a dataset 3 days ago

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

Viewer • Updated 3 days ago • 41k • 13

updated 3 datasets 4 days ago

ChristianZ97/minif2f-satp

Viewer • Updated 4 days ago • 488 • 59

ChristianZ97/NuminaMath-LEAN-satp

Viewer • Updated 4 days ago • 81.1k • 83

ChristianZ97/NuminaMath-LEAN-satp-gaps

Viewer • Updated 4 days ago • 10.8k • 58

updated a dataset 5 days ago

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

Viewer • Updated 5 days ago • 884 • 21

published a dataset 5 days ago

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

Viewer • Updated 5 days ago • 884 • 21

updated a dataset 5 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-discard

Viewer • Updated 5 days ago • 12.6k • 56

published a dataset 6 days ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-discard

Viewer • Updated 5 days ago • 12.6k • 56

published 2 datasets 7 days ago

ChristianZ97/minif2f-satp

Viewer • Updated 4 days ago • 488 • 59

ChristianZ97/NuminaMath-LEAN-satp

Viewer • Updated 4 days ago • 81.1k • 83

updated a model 8 days ago

ChristianZ97/SATP-aesop-policy-xatten

Reinforcement Learning • Updated 8 days ago

published a model 8 days ago

ChristianZ97/SATP-aesop-policy-xatten

Reinforcement Learning • Updated 8 days ago

published a dataset 8 days ago

ChristianZ97/NuminaMath-LEAN-satp-gaps

Viewer • Updated 4 days ago • 10.8k • 58

updated a dataset 11 days ago

ChristianZ97/NuminaMath-LEAN-SATP-cleaned

Viewer • Updated 11 days ago • 108k • 75