Hugging Face model: RickyDeSkywalker/GAR_Goedel-Prover-V2
Author: RickyDeSkywalker
Created: 2026-03-01 04:35:50
Last modified: 2026-03-04 05:19:17
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 8
Tags: transformers, safetensors, qwen3, text-generation, conversational, arxiv:2510.11769, base_model:Goedel-LM/Goedel-Prover-V2-8B, base_model:finetune:Goedel-LM/Goedel-Prover-V2-8B, license:mit, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: Goedel-LM/Goedel-Prover-V2-8B
Card metadata:
base_model: Goedel-LM/Goedel-Prover-V2-8B
license: mit
pipeline_tag: text-generation
library_name: transformers