Edit Models filters

Model Tree

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

6

Base only

Active filters: work-sample

visproj/proofkit-qwen0.5b-7k

Text Generation • 0.5B • Updated about 9 hours ago • 14

visproj/proofkit-distilled-qwen0.5b

Text Generation • 0.5B • Updated about 9 hours ago • 13

visproj/proofkit-distilled-qwen0.5b-gguf

Text Generation • 0.5B • Updated about 9 hours ago • 120

build-small-hackathon/proofkit-distilled-qwen0.5b-gguf

Text Generation • 0.5B • Updated about 7 hours ago

build-small-hackathon/proofkit-distilled-qwen0.5b

Text Generation • 0.5B • Updated about 7 hours ago

build-small-hackathon/proofkit-qwen0.5b-7k

Text Generation • 0.5B • Updated about 7 hours ago