Hugging Face model: TitiSkywalker/C2C-Goedel-Prover
Author: TitiSkywalker
Created: 2026-05-13 09:26:23
Last modified: 2026-05-15 00:23:43
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 10
Tags: transformers, safetensors, qwen3, feature-extraction, text-generation, conversational, arxiv:2604.18587, base_model:Goedel-LM/Goedel-Prover-V2-32B, base_model:finetune:Goedel-LM/Goedel-Prover-V2-32B, license:mit, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: Goedel-LM/Goedel-Prover-V2-32B
Card metadata:
license: mit
base_model: Goedel-LM/Goedel-Prover-V2-32B
pipeline_tag: text-generation
library_name: transformers