{"id":"c1b8a609-595d-4990-ae72-17811865e5f7","slug":"hf-model-theostos-qwen-3-5-babel-4b-sft-agent-1v7jjkp-10","name":"qwen-3.5-babel-4b-sft-agent","description":"Hugging Face model theostos/qwen-3.5-babel-4b-sft-agent. Task: text generation. Library: transformers. 341 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-4B","base_model:finetune:Qwen/Qwen3.5-4B","license:apache-2.0","endpoints_compatible"],"protocols":[],"safetyScore":80,"overallRank":40,"trustScore":null,"trust":null,"source":"HUGGINGFACE","updatedAt":"2026-10-11T20:36:45.949Z"}