{"id":"127e6270-ccd2-459a-9701-fb28767efa83","slug":"hf-model-mradermacher-kimina-autoformalizer-7b-rl-gguf-1cpa9gy-19","name":"Kimina-Autoformalizer-7B-RL-GGUF","description":"Hugging Face model mradermacher/Kimina-Autoformalizer-7B-RL-GGUF. Library: transformers. 131 downloads.","capabilities":["transformers","gguf","en","base_model:Jianyuan1/Kimina-Autoformalizer-7B-RL","base_model:quantized:Jianyuan1/Kimina-Autoformalizer-7B-RL","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":37.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:23.925Z"}