{"id":"d5ba1d40-12b4-4041-ac14-3293315849b5","slug":"hf-model-mradermacher-kimina-prover-rl-1-7b-gguf-11tdtp7-13","name":"Kimina-Prover-RL-1.7B-GGUF","description":"Hugging Face model mradermacher/Kimina-Prover-RL-1.7B-GGUF. Library: transformers. 319 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","conversational"],"protocols":[],"safetyScore":80,"overallRank":40,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:48.573Z"}