mradermacher/Goedel-Code-Prover-8B-GGUF
8B • Updated • 163
Edit Models filters
Model Tree
Apps
Inference Providers
Models
51
Active filters: verification
rolvai/rolv-primitive
Text Generation • Updated
engresearch/tenderhub-webai-verification
Updated
abalogh/Goedel-Code-Prover-8B-8bit
Text Generation • 8B • Updated • 29
ChrisMoe/handwriting-v5
Image Classification • Updated • 28
Carnot-EBM/carnot-vjepa-v2
45.2k • Updated
Umarise/umarise-anchored-poc
Updated
ponpoke/ERNIE-Image-guardrail-verification
Text-to-Image • Updated • 2
liiiiiwww/prism-verifier-gemma3-1b
Text Generation • 1.0B • Updated • 110 • • 1
mindbomber/aana
Text Classification • Updated • 1
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 1B • Updated • 136
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 15
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated • 25
mradermacher/Marco-DeepResearch-8B-GGUF
8B • Updated • 902 • 1
mradermacher/Marco-DeepResearch-8B-i1-GGUF
8B • Updated • 3.24k • 1
AIDC-AI/Marco-DeepResearch-8B-GGUF
Text Generation • 8B • Updated • 1.22k • 3
AIDC-AI/Marco-DeepResearch-8B-FP8
Text Generation • 8B • Updated • 28
myeongjun77/Qwen3.6-35B-A3B-G-Rotary
Text Generation • Updated
myeongjun77/Qwen3.6-35B-A3B-G-Rotary-X2
Text Generation • Updated
myeongjun77/Pungyo-Qwen36-A3B-Twin
Text Generation • Updated
don74/wr039t19-middleware
Updated