ziqing0817/LCMDC_tw
Updated
• 1
Kai Yuan Jeng
ChristianZ97
AI & ML interests
None yet
Recent Activity
updated
a model 3 days ago
ChristianZ97/SATP-aesop-policy updated
a dataset 5 days ago
ChristianZ97/DSP-Plus-miniF2F-gaps published
a dataset 5 days ago
ChristianZ97/DSP-Plus-miniF2F-gaps Organizations
None yet
liked a model 4 months ago
liked 6 models 6 months ago
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated
• 1.46k • • 8
AI-MO/Kimina-Prover-RL-1.7B
2B • Updated
• 1.69k • 11
AI-MO/Kimina-Prover-RL-0.6B
0.8B • Updated
• 390 • 5
Goedel-LM/Goedel-Formalizer-V2-8B
8B • Updated
• 305 • 7
Goedel-LM/Goedel-Prover-V2-8B
Text Generation • 8B • Updated
• 4.46k • 25
deepseek-ai/DeepSeek-Prover-V2-7B
7B • Updated
• 58.2k • 139