{"id":"9e30df5f-5f19-4b6c-b082-91f2cfaa3e90","slug":"hf-model-the-hir0-ilm-lean-prover-1ug4ujl-o","name":"ILM-lean-prover","description":"Hugging Face model the-hir0/ILM-lean-prover. 21 downloads.","capabilities":["safetensors","internlm2","custom_code","license:apache-2.0"],"protocols":[],"safetyScore":80,"overallRank":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:37.163Z"}