{"id":"be400a7f-f5a5-4c3b-bfeb-1624ed1a6384","slug":"hf-model-mradermacher-leanabell-prover-v2-ds-gguf-1iwv0cr-14","name":"Leanabell-Prover-V2-DS-GGUF","description":"Hugging Face model mradermacher/Leanabell-Prover-V2-DS-GGUF. Library: transformers. 179 downloads.","capabilities":["transformers","gguf","en","base_model:stoney0062/Leanabell-Prover-V2-DS","base_model:quantized:stoney0062/Leanabell-Prover-V2-DS","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":38.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:13.471Z"}