ziqing0817/LCMDC_tw
Updated • 1
Kai Yuan Jeng
ChristianZ97
·
AI & ML interests
None yet
Recent Activity
updated a dataset 2 days ago
ChristianZ97/NuminaMath-LEAN-satp-buffer updated a dataset 2 days ago
ChristianZ97/NuminaMath-LEAN-satp-buffer-ablation updated a model 2 days ago
ChristianZ97/satp-policy-goalOrganizations
liked a
model 6 months ago
liked 6
models 9 months ago
AI-MO/Kimina-Prover-Distill-8B
Text Generation • 8B • Updated • 1.36k • • 8
AI-MO/Kimina-Prover-RL-1.7B
2B • Updated • 1.14k • 12
AI-MO/Kimina-Prover-RL-0.6B
0.8B • Updated • 22 • 5
Goedel-LM/Goedel-Formalizer-V2-8B
8B • Updated • 142 • 7
Goedel-LM/Goedel-Prover-V2-8B
Text Generation • 8B • Updated • 5.4k • • 28
deepseek-ai/DeepSeek-Prover-V2-7B
7B • Updated • 28.3k • 144