{"id":"61c9b101-c25a-43ee-bf16-2e10c27b8287","slug":"hf-model-theostos-qwen-3-5-babel-4b-sft-80xb4t-u","name":"qwen-3.5-babel-4b-sft","description":"Hugging Face model theostos/qwen-3.5-babel-4b-sft. Task: text generation. Library: transformers. 364 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-4B","base_model:finetune:Qwen/Qwen3.5-4B","license:apache-2.0","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":40.5,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:44.469Z"}