Edit Models filters

Model Tree

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

Apps

Docker Model Runner

Inference Providers

OVHcloud AI Endpoints

HF Inference API

Misc

Inference Endpoints

text-generation-inference

4-bit precision

8-bit precision

text-embeddings-inference

Mixture of Experts

Carbon Emissions

Models

2

Full-text search

Active filters: AI-MO/Kimina-Prover-Preview-Distill-7B

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

8B • Updated Jul 11, 2025 • 498

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

Text Generation • 8B • Updated Jul 16, 2025 • 198 • 1