Edit Models filters

Model Tree

AI-MO/Kimina-Prover-Preview-Distill-1.5B

Apps

Docker Model Runner

Inference Providers

OVHcloud AI Endpoints

HF Inference API

Misc

Inference Endpoints

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

2

Base only

Active filters: llama.cpp, AI-MO/Kimina-Prover-Preview-Distill-1.5B

mradermacher/Kimina-Prover-Preview-Distill-1.5B-GGUF

2B • Updated Jul 11, 2025 • 294

DevQuasar/AI-MO.Kimina-Prover-Preview-Distill-1.5B-GGUF

Text Generation • 2B • Updated Jul 16, 2025 • 46