{"id":"9bab0930-e4f0-41ca-871b-d5fdc25f2c97","slug":"hf-model-mradermacher-kimina-prover-rl-1-7b-i1-gguf-135sbuq-16","name":"Kimina-Prover-RL-1.7B-i1-GGUF","description":"Hugging Face model mradermacher/Kimina-Prover-RL-1.7B-i1-GGUF. Library: transformers. 526 downloads.","capabilities":["transformers","gguf","en","base_model:AI-MO/Kimina-Prover-RL-1.7B","base_model:quantized:AI-MO/Kimina-Prover-RL-1.7B","license:apache-2.0","endpoints_compatible","imatrix","conversational"],"protocols":[],"safetyScore":80,"overallRank":41.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:34.837Z"}