{"id":"dac9757a-ecf0-40e1-9a78-7262a8f7c5a4","slug":"hf-model-mradermacher-mathform-8b-gguf-fsihvw-t","name":"MathForm-8B-GGUF","description":"Hugging Face model mradermacher/MathForm-8B-GGUF. Library: transformers. 363 downloads.","capabilities":["transformers","gguf","arxiv:2608.14221","lean4","autoformalization","mathematics","formal-verification","reasoning","en","dataset:openbmb/FormalVerse","base_model:openbmb/MathForm-8B","base_model:quantized:openbmb/MathForm-8B","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":40.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:44.469Z"}