{"id":"ff92123f-adca-4905-b7e0-7f1eaa4d1367","slug":"hf-model-theostos-qwen-3-5-babel-9b-sft-b9fcg2-u","name":"qwen-3.5-babel-9b-sft","description":"Hugging Face model theostos/qwen-3.5-babel-9b-sft. Task: text generation. Library: transformers. 380 downloads.","capabilities":["transformers","safetensors","qwen3_5_text","text-generation","formal-methods","theorem-proving","lean","rocq","qwen3.5","supervised-fine-tuning","conversational","base_model:Qwen/Qwen3.5-9B","base_model:finetune:Qwen/Qwen3.5-9B","license:apache-2.0","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":40.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:43.439Z"}