{"id":"fd5ad6e1-6338-410a-affb-305cb8b956b8","slug":"hf-model-mradermacher-ilm-lean-prover-gguf-gej8ch-x","name":"ILM-lean-prover-GGUF","description":"Hugging Face model mradermacher/ILM-lean-prover-GGUF. Library: transformers. 197 downloads. 1 likes.","capabilities":["transformers","gguf","en","base_model:the-hir0/ILM-lean-prover","base_model:quantized:the-hir0/ILM-lean-prover","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":39,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:09.895Z"}