{"id":"503ea57e-433e-44ec-aa03-b7d7b97da303","slug":"hf-model-goedel-lm-goedel-code-prover-8b-1w4x7ja-v","name":"Goedel-Code-Prover-8B","description":"Hugging Face model Goedel-LM/Goedel-Code-Prover-8B. 66 downloads. 11 likes.","capabilities":["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"],"protocols":[],"safetyScore":80,"overallRank":36,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:52.290Z"}