Model synced from source: AI-MO/Kimina-Prover-RL-1.7B
Updated 2026-06-18 21:28:26 +08:00
Model synced from source: AI-MO/Kimina-Prover-RL-0.6B
Updated 2026-06-18 20:40:15 +08:00
Model synced from source: AI-MO/NuminaMath-7B-CoT
Updated 2026-06-13 17:30:11 +08:00
Model synced from source: AI-MO/Kimina-Prover-Distill-8B
Updated 2026-05-21 10:24:31 +08:00
Model synced from source: AI-MO/Kimina-Prover-Distill-0.6B
Updated 2026-05-14 16:47:52 +08:00
Model synced from source: AI-MO/Kimina-Prover-Distill-1.7B
Updated 2026-05-13 01:11:19 +08:00
Model synced from source: AI-MO/Kimina-Autoformalizer-7B
Updated 2026-05-08 09:56:57 +08:00
Model synced from source: AI-MO/Kimina-Prover-Preview-Distill-7B
Updated 2026-05-06 16:42:51 +08:00
Model synced from source: AI-MO/Kimina-Prover-Preview-Distill-1.5B
Updated 2026-05-06 13:44:53 +08:00