Kai Yuan Jeng

ChristianZ97's activity

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

updated a model about 4 hours ago

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated about 4 hours ago

updated a dataset 3 days ago

ChristianZ97/DSP-Plus-miniF2F-gaps

Viewer • Updated 3 days ago • 31.5k • 58

updated a dataset 6 days ago

ChristianZ97/PutnamBench-lean4

Viewer • Updated 6 days ago • 672 • 30

published a dataset 6 days ago

ChristianZ97/PutnamBench-lean4

Viewer • Updated 6 days ago • 672 • 30

updated a dataset 7 days ago

ChristianZ97/NuminaMath-LEAN-Expert-Iteration

Viewer • Updated 7 days ago • 512 • 101

updated a dataset 8 days ago

ChristianZ97/NuminaMath-LEAN-Aesop-Config

Viewer • Updated 8 days ago • 41.8k • 91

published 2 datasets about 1 month ago

ChristianZ97/NuminaMath-LEAN-Expert-Iteration

Viewer • Updated 7 days ago • 512 • 101

ChristianZ97/NuminaMath-LEAN-Aesop-Config

Viewer • Updated 8 days ago • 41.8k • 91

published a dataset about 2 months ago

ChristianZ97/DSP-Plus-miniF2F-gaps

Viewer • Updated 3 days ago • 31.5k • 58

updated a dataset about 2 months ago

ChristianZ97/NuminaMath-LEAN-Filtered-Seed

Viewer • Updated Feb 24 • 5.61k • 14

published a dataset about 2 months ago

ChristianZ97/NuminaMath-LEAN-Filtered-Seed

Viewer • Updated Feb 24 • 5.61k • 14

updated a model about 2 months ago

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated about 4 hours ago

published a model 2 months ago

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated about 4 hours ago