{"id":"1c5143ae-7f1a-4bc1-8f42-c73c010243e0","slug":"hf-model-mradermacher-qwen3-8b-herald-sft-gguf-1622nw3-11","name":"Qwen3-8B-Herald-SFT-GGUF","description":"Hugging Face model mradermacher/Qwen3-8B-Herald-SFT-GGUF. Library: transformers. 441 downloads. 1 likes.","capabilities":["transformers","gguf","lean4","mathlib","autoformalization","formal-verification","math","peft","lora","qlora","sft","en","dataset:FrenzyMath/Herald_statements","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":41,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:39.360Z"}