{"id":"778915e7-fcb8-403b-a1c0-d82215c083ec","slug":"hf-model-mradermacher-mathesis-autoformalizer-hpo-gguf-179xim2-19","name":"Mathesis-Autoformalizer-HPO-GGUF","description":"Hugging Face model mradermacher/Mathesis-Autoformalizer-HPO-GGUF. Library: transformers. 134 downloads.","capabilities":["transformers","gguf","en","base_model:huawei-ai4math/Mathesis-Autoformalizer-HPO","base_model:quantized:huawei-ai4math/Mathesis-Autoformalizer-HPO","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":38,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:37:23.258Z"}