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 7 days ago
ChristianZ97/DSP-Plus-miniF2F-gaps updated a dataset 10 days ago
ChristianZ97/PutnamBench-lean4Organizations
None yet
liked a
model 5 months ago
liked 6
models 8 months ago
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 3.87k • • 8
AI-MO/Kimina-Prover-RL-1.7B
2B • Updated • 1.78k • 12
AI-MO/Kimina-Prover-RL-0.6B
0.8B • Updated • 130 • 5
Goedel-LM/Goedel-Formalizer-V2-8B
8B • Updated • 266 • 7
Goedel-LM/Goedel-Prover-V2-8B
Text Generation • 8B • Updated • 4.88k • 27
deepseek-ai/DeepSeek-Prover-V2-7B
7B • Updated • 46.8k • 142