Microsoft · 轻薄本与普通 AI PC

FrogNano 4B

微软面向仓库级软件工程任务的紧凑型 coding agent,从 Qwen3.5-4B 出发,用约 1,500 个合成软件工程任务进行强化学习,并通过 Leaf harness 生成结构化工具调用。

查看官方资料 官方源核验于 2026/10/05
参数规模约 4B(官方模型卡写作 500M—5B 范围)
架构Qwen3.5-4B 衍生 · Dense 混合 Gated DeltaNet / gated-attention · 仓库级 coding agent 后训练
模态文本、代码、结构化工具调用
上下文约 131K(官方评测配置;含工具交互上下文)
Local deployment verdict

部署判断

官方模型卡未给出统一显存或端侧吞吐;权重、KV Cache、131K 代码上下文和 Leaf harness 的进程开销需单独预算。模型卡的 4B 级定位不等于任意笔记本都能稳定运行长任务。

推荐起点
轻薄本与普通 AI PC
常见运行时
Leaf 五工具 harness(隔离仓库执行)、Transformers / Qwen3.5 衍生路径(以官方配置为准)
许可
官方模型卡同时出现 MIT 元数据与 Apache License 2.0 正文,且依赖 Qwen3.5-4B;许可存在冲突,必须以最终模型卡、LICENSE 和上游条款复核

型号与精度版本

Safetensors

同一模型家族中的基础、指令、推理、量化或多模态检查点用途可能完全不同。下载前应核对模型卡、提示模板、分词器、量化方法和运行时版本。

适合放进哪些本地工作流

隔离仓库内的代码修复候选
本地测试驱动的补丁生成
轻量代码 Agent 原型
离线代码库导航与调试

端侧模型更适合边界清楚、输入可控、失败可回退的任务。涉及客户承诺、财务写入、生产控制或复杂多步工具调用时,应保留云端高能力模型与人工审批作为升级路径。

进入数字员工路由前怎么测

  1. 加载测试记录具体设备、精度、运行时、上下文与首 Token 时间,避免只写“能跑”。
  2. 任务测试用脱敏企业样本测任务成功率、结构化输出和工具参数正确率。
  3. 压力测试加入长上下文、并发、热启动、内存峰值、功耗和降频观察。
  4. 治理测试验证模型许可、日志、更新、漏洞响应、人工接管与云端回退。

当前研究限制

  • 模型卡明确要求 Leaf harness 在隔离仓库执行工具调用,FrogNano 本身不负责部署变更
  • 约 1,500 个任务为合成训练数据,且偏 Python/英语;跨语言与真实企业代码库必须独立评测
  • 补丁可能错误或不安全,即使通过可用测试也需要人工审查、回归测试和安全验证
  • 图像和视频组件继承自上游但未被该模型后训练或评估,不应宣传为支持视觉输入
  • 许可元数据与正文冲突,不能在采购材料中直接写成 MIT 或 Apache 之一

本页是官方资料索引与企业选型分析,不构成速度、显存、质量、许可或合规承诺。社区量化与第三方运行时应作为独立供应链组件审计。