Model: Goedel-LM/Goedel-Prover-V2-8B
Author: Goedel-LM
Pipeline: text-generation
Library: transformers
Tags: transformers, safetensors, qwen3, text-generation, conversational, arxiv:2508.03613, base_model:Qwen/Qwen3-8B, base_model:finetune:Qwen/Qwen3-8B, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base models (finetune): id: Qwen/Qwen3-8B
Card metadata: base_model: Qwen/Qwen3-8B
license: apache-2.0
library_name: transformers
pipeline_tag: text-generation
Likes: 19 | All-time downloads: 49844
Created: 2025-07-15 00:31:20