Hugging Face model: mradermacher/GAR_Goedel-Prover-V2-GGUF
Author: mradermacher
Created: 2026-03-04 08:41:45
Last modified: 2026-03-06 07:32:13
Library: transformers
Likes: 0 | Downloads: 17
Tags: transformers, gguf, en, base_model:RickyDeSkywalker/GAR_Goedel-Prover-V2, base_model:quantized:RickyDeSkywalker/GAR_Goedel-Prover-V2, license:mit, endpoints_compatible, region:us, conversational
Base model relation: quantized
Base models: id: RickyDeSkywalker/GAR_Goedel-Prover-V2
Card metadata:
base_model: RickyDeSkywalker/GAR_Goedel-Prover-V2
language: en
library_name: transformers
license: mit
mradermacher: readme_rev: 1
quantized_by: mradermacher