Hugging Face model: NP235/Goedel-Formalizer-V2-32B
Author: NP235
Created: 2026-07-10 14:30:19
Last modified: 2026-07-10 14:30:19
Likes: 0 | Downloads: 3
Tags: safetensors, qwen3, base_model:Qwen/Qwen3-32B, base_model:finetune:Qwen/Qwen3-32B, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-32B
Card metadata:
license: apache-2.0
base_model: Qwen/Qwen3-32B