AI News AI资讯 7h ago Updated 1h ago 更新于 1小时前 47

Cisco Foundation AI Releases Antares: 350M and 1B Open-Weight Models That Localize Known Vulnerabilities Inside Real Codebases 思科基础AI发布Antares:3.5亿和10亿参数的开源模型,可在真实代码库中定位已知漏洞

Cisco Foundation AI released Antares, a family of open-weight security small language models (SLMs) specifically designed for vulnerability localization within software repositories. The Antares-1B model achieves a File F1 score of 0.209, outperforming significantly larger models like GLM-5.2 (753B parameters) and rivaling GPT-5.5, demonstrating that task-specific training outweighs raw parameter scale. Performance gains are driven almost entirely by post-training techniques, with Supervised Fin Cisco Foundation AI发布Antares系列安全小语言模型(SLM),专注于漏洞定位任务,包含350M、1B及未发布的3B参数版本。 Antares-1B在VLoc Bench基准测试中达到0.209 File F1,性能超越753B参数的GLM-5.2及Gemini 2.5 Flash等超大模型。 模型基于IBM Granite 4.0初始化,通过监督微调(SFT)和GRPO强化学习进行训练,其中GRPO显著降低了推理方差并提升了稳定性。 采用受限的Agent循环机制,通过只读终端命令在Docker沙箱中探索代码库,预算限制为15次调用,无需联网。 相比传统静态分析工具(如S

65
Hot 热度
70
Quality 质量
68
Impact 影响力

Analysis 深度分析

TL;DR

  • Cisco Foundation AI released Antares, a family of open-weight security small language models (SLMs) specifically designed for vulnerability localization within software repositories.
  • The Antares-1B model achieves a File F1 score of 0.209, outperforming significantly larger models like GLM-5.2 (753B parameters) and rivaling GPT-5.5, demonstrating that task-specific training outweighs raw parameter scale.
  • Performance gains are driven almost entirely by post-training techniques, with Supervised Fine-Tuning (SFT) providing the foundational capability and Group Relative Policy Optimization (GRPO) adding further accuracy while drastically reducing output variance.
  • The release includes VLoc Bench, a rigorous 500-task agentic evaluation benchmark covering real-world repositories across six major ecosystems, establishing a new standard for measuring security-focused LLM performance.
  • Antares operates via a constrained agentic loop using read-only terminal commands, offering a cost-effective alternative to static analysis tools and massive proprietary models for initial security triage.

Why It Matters

This release challenges the prevailing assumption that larger models are always superior for specialized technical tasks, proving that focused fine-tuning on small architectures can surpass billion-parameter generalist models in niche domains like cybersecurity. For AI practitioners and security engineers, it highlights the critical importance of high-quality, domain-specific post-training data and reinforcement learning techniques over mere model scaling. Furthermore, the availability of open-weight models and a standardized benchmark enables the community to build more efficient, transparent, and cost-effective security toolchains that integrate seamlessly into continuous integration pipelines.

Technical Details

  • Architecture & Training: Antares models (350M, 1B, 3B) are decoder-only transformers initialized from IBM Granite 4.0 checkpoints, utilizing grouped-query attention, SwiGLU MLPs, RMSNorm, and RoPE. The 350M and 1B variants are open-weight under Apache 2.0.
  • Agentic Workflow: The models function within a constrained agent loop, issuing up to 15 read-only terminal commands in a Docker sandbox to explore repositories. They receive only CWE descriptions without advisory hints, requiring them to autonomously locate vulnerable files.
  • Post-Training Pipeline: Capabilities are derived from SFT (using traces from GPT-OSS-120B) followed by GRPO. GRPO uses verifiable, programmatic rewards based on trajectory text, eliminating the need for learned reward models and significantly cutting run-to-run variance by 42-65%.
  • Benchmarking (VLoc Bench): Evaluated on 500 tasks from 290 real-world repositories across npm, pip, Maven, Go, Rust, and Composer. Phase A measures File F1 on vulnerable snapshots, while Phase B assesses True Negative Rates on patched snapshots to detect false alarms.
  • Performance Metrics: Antares-1B achieved 0.209 File F1 and highest recall (0.224). It outperformed static analysis tools like Semgrep (0.086) and CodeQL (0.023). The base Granite checkpoints scored near zero (~0.000), confirming post-training supplies nearly all utility.

Industry Insight

  • Shift from Scale to Specialization: Organizations should prioritize developing or fine-tuning smaller, domain-specific models for high-volume, narrow tasks like security triage rather than relying solely on expensive, large-scale generalist models. This approach offers better cost-efficiency and potentially higher accuracy for specific workflows.
  • Importance of Deterministic Evaluation: The significant reduction in variance provided by GRPO suggests that reliability and consistency are as crucial as peak performance metrics for deploying AI in production security environments. Teams should evaluate models not just on average scores but on stability across multiple runs.
  • Integration into DevSecOps: Since Antares is designed to complement, not replace, existing toolchains, developers should view these SLMs as intelligent filters that reduce manual effort in identifying potential vulnerabilities, allowing human experts to focus on complex remediation rather than initial discovery.

TL;DR

  • Cisco Foundation AI发布Antares系列安全小语言模型(SLM),专注于漏洞定位任务,包含350M、1B及未发布的3B参数版本。
  • Antares-1B在VLoc Bench基准测试中达到0.209 File F1,性能超越753B参数的GLM-5.2及Gemini 2.5 Flash等超大模型。
  • 模型基于IBM Granite 4.0初始化,通过监督微调(SFT)和GRPO强化学习进行训练,其中GRPO显著降低了推理方差并提升了稳定性。
  • 采用受限的Agent循环机制,通过只读终端命令在Docker沙箱中探索代码库,预算限制为15次调用,无需联网。
  • 相比传统静态分析工具(如Semgrep、CodeQL),Antares展现出更强的上下文适应能力,且单次完整评估成本低于1美元,极具性价比。

为什么值得看

本文揭示了垂直领域小模型在特定安全任务上超越通用大模型的潜力,证明了“专用优于通用”在代码安全场景下的有效性。对于AI安全从业者而言,其开源权重、低推理成本及可复现的Agent工作流为构建本地化、高隐私要求的自动化漏洞扫描流水线提供了极具参考价值的范式。

技术解析

  • 模型架构与规格:Antares系列基于IBM Granite 4.0检查点,采用解码器Transformer架构,包含Grouped-Query Attention、SwiGLU MLPs、RMSNorm和RoPE。公开版本为Antares-350M(32K上下文)和Antares-1B(128K上下文),Antares-3B未发布。
  • 训练策略:基础模型在未训练状态下File F1接近0。通过71.5%网络安全推理、15.4%代码搜索轨迹和13.1%深度研究的SFT数据训练,随后使用GRPO算法进行强化学习优化。GRPO使用程序化验证奖励,无学习到的奖励模型,使性能提升11%-25%,并将运行方差降低42%-65%。
  • Agent工作流:模型不直接输出结果,而是在受限环境中运行。接收CWE描述后,通过只读终端命令在禁用网络的Docker沙箱中探索仓库。输出包括排名文件路径及探索轨迹,提交动作不计入15次调用预算。
  • 基准测试VLoc Bench:包含来自290个真实仓库的500个任务,覆盖npm、pip等六大生态系统的GitHub安全公告。分为Phase A(脆弱快照,评分File F1)和Phase B(补丁快照,评分真阴性率),旨在评估模型定位漏洞及避免误报的能力。

行业启示

  • 垂直小模型的价值重估:在高度专业化的任务(如漏洞定位)中,经过精心微调的小模型(1B级别)可以击败参数量大数百倍的通用模型,企业应优先考虑针对核心痛点定制轻量级模型而非盲目追求规模。
  • 可解释性与稳定性的工程意义:GRPO带来的方差降低对于CI/CD集成至关重要,稳定的预测比偶尔的高分更具工业实用价值,这提示我们在模型部署中需重视评估指标的鲁棒性。
  • 成本效益驱动的自动化转型:Antares单次评估成本低于1美元,远低于API调用费用,使得大规模、高频次的代码库安全扫描在经济上变得可行,有望推动安全左移和自动化修复流程的普及。

Disclaimer: The above content is generated by AI and is for reference only. 免责声明:以上内容由 AI 生成,仅供参考。

Open Source 开源 Security 安全 Code Generation 代码生成 Benchmark 基准测试 Research 科学研究