{"id":"b92455ba-4ce3-472c-b4f8-d64b70be3cba","slug":"hf-model-theostos-qwen-3-5-babel-9b-sft-agent-1s379oe-10","name":"qwen-3.5-babel-9b-sft-agent","description":"Hugging Face model theostos/qwen-3.5-babel-9b-sft-agent. Task: text generation. Library: transformers. 20 downloads.","capabilities":["transformers","safetensors","qwen3_5_text","text-generation","formal-methods","theorem-proving","lean","rocq","tool-use","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":33,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:39:53.152Z"}