rkumar1999/DeepSeek-V2-Lite-Chat-mix-logic-prover
Text Generation
•
Updated
Edit Models filters
Apps
Inference Providers
Active filters:
logic
vanta-research/apollo-astralis-4b
Text Generation
•
4B
•
Updated
•
184
•
6
mradermacher/apollo-astralis-4b-GGUF
4B
•
Updated
•
925
•
4
mradermacher/apollo-astralis-4b-i1-GGUF
4B
•
Updated
•
5.27k
•
2
Savyasaachin/Qwen3-Shining-Lucy-CODER-3.4B-Brainstorm20x-e32-Q8_0-GGUF
Text Generation
•
3B
•
Updated
•
41
chamber111/VPPO-7B
Image-Text-to-Text
•
8B
•
Updated
•
28
•
5
chamber111/VPPO-32B
33B
•
Updated
•
7
•
2
mradermacher/VPPO-7B-GGUF
8B
•
Updated
•
87
•
1
mradermacher/VPPO-32B-GGUF
33B
•
Updated
•
93
mradermacher/VPPO-7B-i1-GGUF
8B
•
Updated
•
435
•
1
mradermacher/VPPO-32B-i1-GGUF
33B
•
Updated
•
128
ziadrone/airesupdated-v2
Text Generation
•
4B
•
Updated
•
39
•
1
mradermacher/airesupdated-v2-GGUF
Reinforcement Learning
•
4B
•
Updated
•
43
rudranshjoshi/circuit
4B
•
Updated
•
32
arogister/Qwen3-8B-ShiningValiant3-mlx-4Bit
Text Generation
•
1B
•
Updated
•
10
mradermacher/wraith-8b-GGUF
8B
•
Updated
•
1.67k
•
2
mradermacher/wraith-8b-i1-GGUF
8B
•
Updated
•
13.1k
•
3
mradermacher/VPPO-8B-GGUF
8B
•
Updated
•
322
0xgr3y/Qwen2.5-Coder-0.5B-Instruct-Gensyn-Swarm-tall_tame_panther
Text Generation
•
0.5B
•
Updated
•
1.97k
clarkkitchen22/PrincipiaMistralModel7B
Text Generation
•
7B
•
Updated
•
16
mradermacher/PrincipiaMistralModel7B-GGUF
Text Generation
•
7B
•
Updated
•
136
mradermacher/PrincipiaMistralModel7B-i1-GGUF
Text Generation
•
7B
•
Updated
•
302