rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover
Text Generation • Updated
Edit Models filters
Model Tree
Apps
Inference Providers
One-click Deployment
Models
335
Active filters: logic
vanta-research/apollo-astralis-4b
Text Generation • 4B • Updated • 19 • 6
mradermacher/apollo-astralis-4b-GGUF
4B • Updated • 239 • 5
mradermacher/apollo-astralis-4b-i1-GGUF
4B • Updated • 976 • 2
vanta-research/apollo-astralis-8b
Text Generation • 8B • Updated • 149 • 11
Savyasaachin/Qwen3-Shining-Lucy-CODER-3.4B-Brainstorm20x-e32-Q8_0-GGUF
Text Generation • 3B • Updated • 27 • 1
chamber111/VPPO-7B
Image-Text-to-Text • 8B • Updated • 67 • 6
chamber111/VPPO-32B
33B • Updated • 8 • 2
mradermacher/VPPO-7B-GGUF
8B • Updated • 78 • 1
mradermacher/VPPO-32B-GGUF
33B • Updated • 55
mradermacher/VPPO-7B-i1-GGUF
8B • Updated • 1.59k • 1
mradermacher/VPPO-32B-i1-GGUF
33B • Updated • 1.71k
ziadrone/airesupdated-v2
Text Generation • 4B • Updated • 12 • 1
mradermacher/airesupdated-v2-GGUF
Reinforcement Learning • 4B • Updated • 41
rudranshjoshi/circuit
4B • Updated • 17
arogister/Qwen3-8B-ShiningValiant3-mlx-4Bit
Text Generation • 1B • Updated • 12
vanta-research/wraith-8b
Text Generation • 8B • Updated • 32 • • 10
mradermacher/wraith-8b-GGUF
8B • Updated • 87 • 2
mradermacher/wraith-8b-i1-GGUF
8B • Updated • 608 • 3
chamber111/VPPO-8B
Image-Text-to-Text • 9B • Updated • 21 • 2
mradermacher/VPPO-8B-GGUF
8B • Updated • 277
0xgr3y/Qwen2.5-Coder-0.5B-Instruct-Gensyn-Swarm-tall_tame_panther
Text Generation • 0.5B • Updated • 6.6k • • 2
clarkkitchen22/PrincipiaMistralModel7B
Text Generation • 7B • Updated • 9
mradermacher/PrincipiaMistralModel7B-GGUF
Text Generation • 7B • Updated • 406
mradermacher/PrincipiaMistralModel7B-i1-GGUF
Text Generation • 7B • Updated • 1.25k
squ11z1/Hypnos-i1-8B
Text Generation • 8B • Updated • 420 • • 15
mradermacher/Hypnos-i1-8B-GGUF
8B • Updated • 108 • 1
mradermacher/Hypnos-i1-8B-i1-GGUF
8B • Updated • 510 • 1
bartowski/squ11z1_Hypnos-i1-8B-GGUF
Text Generation • 8B • Updated • 1.67k • 4
CallMcMargin/Hypnos-i1-8B-mlx-bf16
Text Generation • 8B • Updated • 18 • 1