Hugging Face model: Goedel-LM/Goedel-Formalizer-V2-8B
Author: Goedel-LM
Created: 2025-07-20 15:43:29
Last modified: 2025-07-20 16:34:46
Likes: 7 | Downloads: 635
Tags: safetensors, qwen3, base_model:Qwen/Qwen3-8B, base_model:finetune:Qwen/Qwen3-8B, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-8B
Card metadata:
license: apache-2.0
base_model: Qwen/Qwen3-8B