Model: KellyJDavis/Goedel-Formalizer-V2-32B
Author: KellyJDavis
Tags: safetensors, qwen3, base_model:Qwen/Qwen3-32B, base_model:finetune:Qwen/Qwen3-32B, license:apache-2.0, region:us
Base models (finetune): id: Qwen/Qwen3-32B
Card metadata: license: apache-2.0
base_model: Qwen/Qwen3-32B
Likes: 1 | All-time downloads: 17
Created: 2025-12-14 09:22:26