{"id":"0f682229-0da4-4f11-a331-11db1ec2ec0d","slug":"hf-model-goedel-lm-goedel-prover-sft-r","name":"Goedel-Prover-SFT","description":"Hugging Face model Goedel-LM/Goedel-Prover-SFT. 1,395 downloads. 32 likes.","capabilities":["safetensors","llama","arxiv:2502.07640","license:mit"],"protocols":[],"safetyScore":80,"overallRank":44,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:17.448Z"}