Kai Yuan Jeng

ChristianZ97's activity

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

updated a dataset 4 days ago

ChristianZ97/NuminaMath-LEAN-Filterd

Viewer • Updated 4 days ago • 5.61k • 397

updated a model 6 days ago

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated 6 days ago

published a model 14 days ago

ChristianZ97/SATP-aesop-policy

Reinforcement Learning • Updated 6 days ago

published a dataset 21 days ago

ChristianZ97/NuminaMath-LEAN-Filterd

Viewer • Updated 4 days ago • 5.61k • 397

New activity in ChristianZ97/minif2f_test-AlphaRenamed 25 days ago

[bot] Conversion to Parquet

#1 opened 27 days ago by

parquet-converter

updated a dataset 27 days ago

ChristianZ97/minif2f_test-AlphaRenamed

Viewer • Updated 27 days ago • 244 • 18

published a dataset 27 days ago

ChristianZ97/minif2f_test-AlphaRenamed

Viewer • Updated 27 days ago • 244 • 18

updated a dataset about 1 month ago

ChristianZ97/NuminaMath-LEAN-cleaned

Viewer • Updated Jan 15 • 108k • 498

published a dataset about 1 month ago

ChristianZ97/NuminaMath-LEAN-cleaned

Viewer • Updated Jan 15 • 108k • 498

updated a model about 1 month ago

ChristianZ97/aesop-policy-v0.1

Updated Jan 11

published a model about 1 month ago

ChristianZ97/aesop-policy-v0.1

Updated Jan 11

liked a model 3 months ago

ziqing0817/LCMDC_tw

Updated Oct 18, 2025 • 1

liked 6 models 6 months ago

AI-MO/Kimina-Prover-Distill-8B

Text Generation • 8B • Updated Jul 10, 2025 • 1.95k • • 8

AI-MO/Kimina-Prover-RL-1.7B

2B • Updated Aug 14, 2025 • 1.41k • 11

AI-MO/Kimina-Prover-RL-0.6B

0.8B • Updated Aug 14, 2025 • 404 • 5

Goedel-LM/Goedel-Formalizer-V2-8B

8B • Updated Jul 20, 2025 • 209 • 7

Goedel-LM/Goedel-Prover-V2-8B

Text Generation • 8B • Updated Aug 9, 2025 • 3.64k • 23

deepseek-ai/DeepSeek-Prover-V2-7B

7B • Updated Apr 30, 2025 • 33.4k • 138