Hugging Face model: Goedel-LM/Goedel-Code-Prover-8B
Author: Goedel-LM
Created: 2026-03-25 18:13:08
Last modified: 2026-03-25 20:16:17
Likes: 11 | Downloads: 560
Tags: safetensors, qwen3, lean4, theorem-proving, verification, code-verification, en, arxiv:2603.19329, base_model:Qwen/Qwen3-8B, base_model:finetune:Qwen/Qwen3-8B, license:apache-2.0, region:us
Base model relation: finetune
Base models: id: Qwen/Qwen3-8B
Card metadata:
language: en
license: apache-2.0
tags: lean4, theorem-proving, verification, code-verification
base_model: Qwen/Qwen3-8B