Kai Yuan Jeng

ChristianZ97's activity

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

updated a model 2 days ago

ChristianZ97/satp-policy-v4.27

Reinforcement Learning • Updated 1 day ago

published a model 2 days ago

ChristianZ97/satp-policy-v4.27

Reinforcement Learning • Updated 1 day ago

updated a model 3 days ago

ChristianZ97/satp-policy-v2

Reinforcement Learning • Updated 3 days ago

updated a dataset 8 days ago

ChristianZ97/putnambench-satp-v4.27

Viewer • Updated 8 days ago • 672 • 34

published a dataset 8 days ago

ChristianZ97/putnambench-satp-v4.27

Viewer • Updated 8 days ago • 672 • 34

updated a dataset 8 days ago

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

Viewer • Updated 8 days ago • 9.89k • 67 • 1

published a dataset 8 days ago

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

Viewer • Updated 8 days ago • 9.89k • 67 • 1

updated a dataset 8 days ago

ChristianZ97/NuminaMath-LEAN-satp-v4.27

Viewer • Updated 8 days ago • 75k • 49

published a dataset 8 days ago

ChristianZ97/NuminaMath-LEAN-satp-v4.27

Viewer • Updated 8 days ago • 75k • 49

updated a dataset 8 days ago

ChristianZ97/minif2f-satp-v4.27

Viewer • Updated 8 days ago • 488 • 74

published a dataset 8 days ago

ChristianZ97/minif2f-satp-v4.27

Viewer • Updated 8 days ago • 488 • 74

updated a model 8 days ago

ChristianZ97/satp-policy-v2-alphaproof

Reinforcement Learning • Updated 8 days ago • 1

updated a dataset 8 days ago

ChristianZ97/minif2f-satp-alphaproof

Viewer • Updated 8 days ago • 488 • 103 • 1

published a model 11 days ago

ChristianZ97/satp-policy-v2-alphaproof

Reinforcement Learning • Updated 8 days ago • 1

published a dataset 13 days ago

ChristianZ97/minif2f-satp-alphaproof

Viewer • Updated 8 days ago • 488 • 103 • 1

published a model 29 days ago

ChristianZ97/satp-policy-v2

Reinforcement Learning • Updated 3 days ago

liked a model about 1 month ago

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

Text Generation • 9B • Updated 15 days ago • 107k • • 885

updated a dataset about 2 months ago

ChristianZ97/proofnet-satp

Viewer • Updated Jun 4 • 371 • 32

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