ziqing0817/LCMDC_tw
Updated • 1
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a dataset about 20 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-pairs-Temp updated a dataset about 20 hours ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-dspaug-Temp updated a dataset 2 days ago
ChristianZ97/NuminaMath-LEAN-satp-bufferOrganizations
liked a
model 6 months ago
liked 6
models 8 months ago
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 1.72k • • 8
AI-MO/Kimina-Prover-RL-1.7B
2B • Updated • 1.58k • 12
AI-MO/Kimina-Prover-RL-0.6B
0.8B • Updated • 30 • 5
Goedel-LM/Goedel-Formalizer-V2-8B
8B • Updated • 108 • 7
Goedel-LM/Goedel-Prover-V2-8B
Text Generation • 8B • Updated • 4.35k • • 27
deepseek-ai/DeepSeek-Prover-V2-7B
7B • Updated • 37.9k • 144