Kai Yuan Jeng

ChristianZ97's activity

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

liked a model about 20 hours ago

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

Text Generation • 9B • Updated about 23 hours ago • 10.2k • • 359

liked a model 7 months ago

ziqing0817/LCMDC_tw

Updated Oct 18, 2025 • 1

liked 6 models 10 months ago

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

Text Generation • 8B • Updated Jul 10, 2025 • 469 • • 8

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

2B • Updated Aug 14, 2025 • 2.86k • 12

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

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

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

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

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

Text Generation • 8B • Updated Aug 9, 2025 • 11.8k • • 29

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

7B • Updated Apr 30, 2025 • 17.1k • 146