Models

Yumo-nano

Kimina-Prover-Distill-1.7B

Kimina-Autoformalizer-7B

Kimina-Prover-Distill-8B

Qwen2-7B-Instruct-abliterated

Qwen2.5-1.5B-Instruct

tinyllama-chat

llama3.2-1b-thinking

Qwen2.5-Math-72B-Instruct

Hebrew_Nemo

DeepHermes-3-Llama-3-3B-Preview

Baichuan-M2-32B

Kimina-Prover-Preview-Distill-7B

StepFun-Formalizer-32B

Qwen2.5-0.5B-Instruct-abliterated

Tiny-Agent-a-3B

RQwen-v0.1

StepFun-Formalizer-7B

Qwen2.5-0.5B-Instruct

Qwen2.5-Coder-7B-Instruct-abliterated

Qwen2.5-1.5B-Instruct

Luminus-1.5B-Roleplay

Qwen2.5-7B-Instruct-abliterated-v3

Qwen2.5-0.5B-Instruct

Qwen2.5-0.5B-Instruct

magnum-v4-12b

Josiefied-Qwen3-4B-Instruct-2507-gabliterated-v2

Qwen2-Math-1.5B-Instruct

magnum-v4-72b

TrueSyncAI-Aurion

ketmiv1

G-Health-14B-instruct

XtraGPT-1.5B

XtraGPT-3B

Hermes-4-14B-contract-extractor

Qwen2.5-0.5B-Instruct

VEDIKA-3.5-LIVE

Qwen2-Math-7B

qwen-llamafiles

Qwen2.5-Coder-14B-Instruct

Qwen2.5-7B-Instruct-heretic

G1-7B