Hugging Face model: Goedel-LM/Goedel-Prover-V2-32B
Author: Goedel-LM
Created: 2025-07-14 15:21:28
Last modified: 2025-08-27 18:14:42
Pipeline: text-generation
Library: transformers
Likes: 72 | Downloads: 45929
Tags: transformers, safetensors, qwen3, text-generation, conversational, arxiv:2508.03613, base_model:Qwen/Qwen3-32B, base_model:finetune:Qwen/Qwen3-32B, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us, deploy:azure
Base model relation: finetune
Base models: id: Qwen/Qwen3-32B
Card metadata:
base_model: Qwen/Qwen3-32B
license: apache-2.0
pipeline_tag: text-generation
library_name: transformers