Edit Models filters

Model Tree

Apps

Docker Model Runner

Unsloth Desktop

Inference Providers

OVHcloud AI Endpoints

HF Inference API

One-click Deployment

Inference Endpoints

Microsoft Foundry

Amazon SageMaker AI

Misc

code-verification

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

71

Base only

Active filters: code-verification

mradermacher/GRPO-Think-14B-8k-GGUF

15B • Updated 28 days ago • 583 • 1

mradermacher/DPO-Think-14B-i1-GGUF

15B • Updated 28 days ago • 2.41k • 1

mradermacher/BatchOnline-GRPO-14B-GGUF

15B • Updated 28 days ago • 618 • 1

mradermacher/BatchOnline-GRPO-14B-i1-GGUF

15B • Updated 28 days ago • 2.18k • 1

mradermacher/GRPO-Think-14B-8k-i1-GGUF

15B • Updated 28 days ago • 2.4k • 1

Goedel-LM/Goedel-Code-Prover-8B

8B • Updated Mar 25 • 52 • 11

mradermacher/Goedel-Code-Prover-8B-GGUF

8B • Updated Mar 27 • 530

Carnot-EBM/carnot-constraint-propagation-code

40.2k • Updated Apr 23 • 3

abalogh/Goedel-Code-Prover-8B-8bit

Text Generation • 8B • Updated May 5 • 16

khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6

Text Generation • 8B • Updated May 8 • 33

khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4

Text Generation • 8B • Updated May 8 • 15

khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8

Text Generation • 8B • Updated May 8 • 9

INSAIT-Institute/BatchOnline-GRPO-1.5B

Text Generation • 2B • Updated Aug 12 • 25

INSAIT-Institute/BatchOnline-GRPO-14B

Text Generation • 15B • Updated Aug 12 • 31

INSAIT-Institute/BatchOnline-GRPO-7B

Text Generation • 8B • Updated Aug 12 • 20

INSAIT-Institute/DPO-Think-1.5B

Text Generation • 2B • Updated Aug 12 • 19

INSAIT-Institute/DPO-Think-14B

Text Generation • 15B • Updated Aug 12 • 35 • 1

INSAIT-Institute/DPO-Think-7B

Text Generation • 8B • Updated Aug 12 • 23

INSAIT-Institute/GRPO-Instruct-1.5B

Text Generation • 2B • Updated Aug 12 • 23

INSAIT-Institute/GRPO-Instruct-14B

Text Generation • 15B • Updated Aug 12 • 27

INSAIT-Institute/GRPO-Instruct-7B

Text Generation • 8B • Updated Aug 12 • 30

INSAIT-Institute/GRPO-Think-1.5B-16k

Text Generation • 2B • Updated Aug 12 • 30

INSAIT-Institute/GRPO-Think-1.5B-4k

Text Generation • 2B • Updated Aug 12 • 23

INSAIT-Institute/GRPO-Think-1.5B-8k

Text Generation • 2B • Updated Aug 12 • 27

INSAIT-Institute/GRPO-Think-14B-16k

Text Generation • 15B • Updated Aug 12 • 23

INSAIT-Institute/GRPO-Think-14B-4k

Text Generation • 15B • Updated Aug 12 • 23

INSAIT-Institute/GRPO-Think-14B-8k

Text Generation • 15B • Updated Aug 12 • 23

INSAIT-Institute/GRPO-Think-7B-16k

Text Generation • 8B • Updated Aug 12 • 28

INSAIT-Institute/GRPO-Think-7B-4k

Text Generation • 8B • Updated Aug 12 • 19

INSAIT-Institute/GRPO-Think-7B-8k

Text Generation • 8B • Updated Aug 12 • 33