Edit Models filters

Apps

Docker Model Runner

Inference Providers

OVHcloud AI Endpoints

HF Inference API

Misc

formal-verification

Inference Endpoints

text-generation-inference

Eval Results (legacy)

4-bit precision

8-bit precision

text-embeddings-inference

Mixture of Experts

Carbon Emissions

Models

50

Full-text search

Active filters: formal-verification

Veri-Code/ReForm-SFT-0.5B

Text Generation • 0.5B • Updated Jul 25, 2025 • 2

Veri-Code/ReForm-SFT-1.5B

Text Generation • 2B • Updated Jul 25, 2025

Veri-Code/ReForm-SFT-3B

Text Generation • 3B • Updated Jul 25, 2025 • 4 • 1

Veri-Code/ReForm-14B-RL-entropy

Text Generation • 15B • Updated Jul 25, 2025 • 5 • 2

mradermacher/sft_0.5B-GGUF

Reinforcement Learning • 0.5B • Updated Jul 27, 2025 • 16

mradermacher/sft_1.5B-GGUF

Reinforcement Learning • 2B • Updated Jul 27, 2025 • 57 • 1

mradermacher/sft_3B-GGUF

Reinforcement Learning • 3B • Updated Jul 27, 2025 • 34

mradermacher/ReForm-SFT-0.5B-GGUF

Reinforcement Learning • 0.5B • Updated Jul 26, 2025 • 39

mradermacher/ReForm-SFT-3B-GGUF

Reinforcement Learning • 3B • Updated Jul 26, 2025 • 42

mradermacher/ReForm-SFT-3B-i1-GGUF

Reinforcement Learning • 3B • Updated about 1 month ago • 800

mradermacher/ReForm-SFT-0.5B-i1-GGUF

Reinforcement Learning • 0.5B • Updated about 1 month ago • 879

mradermacher/ReForm-14B-RL-entropy-GGUF

Reinforcement Learning • 15B • Updated Jul 27, 2025 • 94

mradermacher/ReForm-SFT-1.5B-GGUF

Reinforcement Learning • 2B • Updated Jul 26, 2025 • 21

mradermacher/ReForm-SFT-1.5B-i1-GGUF

Reinforcement Learning • 2B • Updated about 1 month ago • 870

richardyoung/bfs-prover-v2-32b

Text Generation • 33B • Updated Nov 26, 2025 • 39

dassarthak18/phi3.5-fstar-lora

Text Generation • Updated Nov 24, 2025

dassarthak18/granite-fstar-lora

Text Generation • Updated Nov 28, 2025

phanerozoic/tiny-parity-verified

Updated 5 days ago • 39

phanerozoic/tiny-mod3-verified

Updated 3 days ago • 12

phanerozoic/tiny-mod5-verified

Updated 3 days ago • 7

phanerozoic/tiny-mod7-verified

Updated 3 days ago • 9

phanerozoic/tiny-NOT-verified

Updated 2 days ago

phanerozoic/tiny-AND-verified

Updated 2 days ago

phanerozoic/tiny-OR-verified

Updated 2 days ago

phanerozoic/tiny-NAND-verified

Updated 2 days ago

phanerozoic/tiny-NOR-verified

Updated 2 days ago

phanerozoic/tiny-XOR-verified

Updated 2 days ago

phanerozoic/tiny-XNOR-verified

Updated 2 days ago

phanerozoic/tiny-Implies-verified

Updated 2 days ago

phanerozoic/tiny-BiImplies-verified

Updated 2 days ago