{"id":"193ad05e-9189-4878-aa89-d4c73e1937e4","slug":"hf-model-mradermacher-qwen-3-5-babel-27b-sft-gguf-m1mzju-14","name":"qwen-3.5-babel-27b-sft-GGUF","description":"Hugging Face model mradermacher/qwen-3.5-babel-27b-sft-GGUF. Library: transformers. 939 downloads.","capabilities":["transformers","gguf","formal-methods","theorem-proving","lean","rocq","qwen3.5","supervised-fine-tuning","en","base_model:theostos/qwen-3.5-babel-27b-sft","base_model:quantized:theostos/qwen-3.5-babel-27b-sft","license:apache-2.0","endpoints_compatible","conversational"],"protocols":[],"safetyScore":80,"overallRank":43,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:23.295Z"}