Goedel-LM/Goedel-Code-Prover-8B
8B • Updated • 1.2k • 11
Edit Models filters
Apps
Inference Providers
Active filters: code-verification
kdunee/IntentGuard-1
1B • Updated • 5
mradermacher/Goedel-Code-Prover-8B-GGUF
8B • Updated • 171
Carnot-EBM/constraint-propagation-code
Updated • 43
abalogh/Goedel-Code-Prover-8B-8bit
Text Generation • 8B • Updated • 15
khanh2023/Goedel-Code-Prover-8B-mlx-group_size64-quant_predicate_mixed_4_6
Text Generation • 1B • Updated • 32
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp4
Text Generation • 2B • Updated • 2
khanh2023/Goedel-Code-Prover-8B-mlx-mode_mxfp8
Text Generation • 8B • Updated