{"id":"eb0674da-a547-430c-9c7b-3c2fb1e3c2a1","slug":"hf-model-theostos-qwen-3-5-babel-0-8b-sft-agent-375w57-12","name":"qwen-3.5-babel-0.8b-sft-agent","description":"Hugging Face model theostos/qwen-3.5-babel-0.8b-sft-agent. Task: text generation. Library: transformers. 340 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-0.8B","base_model:finetune:Qwen/Qwen3.5-0.8B","license:apache-2.0","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":40,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:46.329Z"}