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

text-generation-inference

Eval Results (legacy)

text-embeddings-inference

4-bit precision

8-bit precision

Mixture of Experts

Carbon Emissions

Models

12

Base only

Active filters: formal-methods

Veri-Code/ReForm-SFT-14B

Text Generation • 15B • Updated May 7 • 14 • 1

mradermacher/sft_14B-GGUF

Reinforcement Learning • 15B • Updated Jul 26, 2025 • 307 • 1

EricSpencer00/chattla-20b

Text Generation • 21B • Updated Jul 4 • 231 • 1

EricSpencer00/chattla-20b-v15

Text Generation • Updated Apr 24

EricSpencer00/chattla-20b-prover-v3

Updated May 10 • 5

vincentoh/kimina-prover-rrma-sft

Updated Jun 6 • 3

neelshah123098/criticleanGPT-Qwen3-8B-RL

Text Generation • 8B • Updated Jun 25 • 4

Sahek/kaysentinel

Updated Jul 19 • 1

EricSpencer00/chattla-v2-sft2

Text Generation • 21B • Updated Jul 12 • 68

EricSpencer00/chattla-w4dg-120b-adapter

Updated Jul 30 • 1

EricSpencer00/chattla-w4dg-120b

Text Generation • 117B • Updated Jul 30 • 17

ruobingzuo66/NSPI-SoS-Structure-Conjecturer-rl

Text Generation • 8B • Updated about 1 month ago • 199 • 1