ziqing0817/LCMDC_tw
Updated • 1
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 15 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer updated a dataset 1 day ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation published a dataset 1 day ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablationOrganizations
liked a
model 6 months ago
liked 6
models 9 months ago
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 1.34k • • 8
AI-MO/Kimina-Prover-RL-1.7B
2B • Updated • 1.19k • 12
AI-MO/Kimina-Prover-RL-0.6B
0.8B • Updated • 27 • 5
Goedel-LM/Goedel-Formalizer-V2-8B
8B • Updated • 58 • 7
Goedel-LM/Goedel-Prover-V2-8B
Text Generation • 8B • Updated • 5.08k • • 28
deepseek-ai/DeepSeek-Prover-V2-7B
7B • Updated • 35.5k • 144