Kai Yuan Jeng

ChristianZ97's activity

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

updated a dataset 5 days ago

ChristianZ97/putnambench-satp-v4.27

Viewer • Updated 5 days ago • 672 • 30

published a dataset 5 days ago

ChristianZ97/putnambench-satp-v4.27

Viewer • Updated 5 days ago • 672 • 30

updated a dataset 5 days ago

ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27

Viewer • Updated 5 days ago • 9.89k • 49 • 1

published a dataset 5 days ago

ChristianZ97/NuminaMath-LEAN-satp-gaps-v4.27

Viewer • Updated 5 days ago • 9.89k • 49 • 1

updated a dataset 5 days ago

ChristianZ97/NuminaMath-LEAN-satp-v4.27

Viewer • Updated 5 days ago • 75k • 40

published a dataset 5 days ago

ChristianZ97/NuminaMath-LEAN-satp-v4.27

Viewer • Updated 5 days ago • 75k • 40

updated a model 5 days ago

ChristianZ97/satp-policy-v2

Reinforcement Learning • Updated 5 days ago

updated a dataset 5 days ago

ChristianZ97/minif2f-satp-v4.27

Viewer • Updated 5 days ago • 488 • 55

published a dataset 5 days ago

ChristianZ97/minif2f-satp-v4.27

Viewer • Updated 5 days ago • 488 • 55

updated a model 5 days ago

ChristianZ97/satp-policy-v2-alphaproof

Reinforcement Learning • Updated 5 days ago • 1

updated a dataset 5 days ago

ChristianZ97/minif2f-satp-alphaproof

Viewer • Updated 5 days ago • 488 • 101 • 1

published a model 8 days ago

ChristianZ97/satp-policy-v2-alphaproof

Reinforcement Learning • Updated 5 days ago • 1

published a dataset 10 days ago

ChristianZ97/minif2f-satp-alphaproof

Viewer • Updated 5 days ago • 488 • 101 • 1

published a model 27 days ago

ChristianZ97/satp-policy-v2

Reinforcement Learning • Updated 5 days ago

liked a model about 1 month ago

empero-ai/Qwythos-9B-Claude-Mythos-5-1M

Text Generation • 9B • Updated 12 days ago • 186k • • 880

updated a dataset about 2 months ago

ChristianZ97/proofnet-satp

Viewer • Updated Jun 4 • 371 • 33

updated a model about 2 months ago

ChristianZ97/satp-policy-goal-meanpool

Reinforcement Learning • Updated Jun 4

published a model about 2 months ago

ChristianZ97/satp-policy-goal-meanpool

Reinforcement Learning • Updated Jun 4

published a dataset 2 months ago

ChristianZ97/proofnet-satp

Viewer • Updated Jun 4 • 371 • 33

updated a dataset 2 months ago

ChristianZ97/NuminaMath-LEAN-satp-buffer-main

Viewer • Updated May 22 • 30.7k • 17