Hugging Face model: juihuichung/awakening-goedel-v2-32b-rl
Author: juihuichung
Created: 2026-08-10 20:06:38
Last modified: 2026-08-10 20:24:22
Pipeline: text-generation
Library: transformers
Likes: 0 | Downloads: 0
Tags: transformers, safetensors, qwen3, text-generation, lean4, theorem-proving, capability-collapse, tool-use, conversational, base_model:Qwen/Qwen3-32B, base_model:finetune:Qwen/Qwen3-32B, license:apache-2.0, text-generation-inference, endpoints_compatible, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-32B
Card metadata:
license: apache-2.0
base_model: Qwen/Qwen3-32B
pipeline_tag: text-generation
library_name: transformers
tags: lean4, theorem-proving, capability-collapse, tool-use