Hugging Face model: ellietheorem/goedel-prover-v2-8b-lf-sft-v4
Author: ellietheorem
Created: 2026-06-26 20:18:16
Last modified: 2026-06-26 20:20:23
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 7
Tags: transformers, safetensors, qwen3, text-generation, conversational, arxiv:1910.09700, text-generation-inference, endpoints_compatible, region:us
Card metadata:
library_name: transformers