Michal Sutter是一名数据科学专业人士,拥有帕多瓦大学数据科学硕士学位。凭借在统计分析、机器学习和数据工程方面的坚实基础,Michal擅长将复杂的数据集转化为可操作的洞见。
构建一个智能事件场馆运营者 [完整代码]:https://pxllnk.co/twdn5
谢谢!我们的团队会尽快联系你 🙌
Cisco Foundation AI:https://blogs.cisco.com/ai/introducing-antares-the-most-efficient-open-weight-ai-models-for-vulnerability-localization has released Antares , a family of security small language models (SLMs) built for one narrow security task. The task is vulnerability localization. Given a vulnerability description and a repository, find the files containing the flaw.
Two models are open-weight and available now on Hugging Face, Antares-350M:https://huggingface.co/fdtn-ai/antares-350m and Antares-1B:https://huggingface.co/fdtn-ai/antares-1b. Both are Apache 2.0. Cisco team also shipped the Vulnerability Localization Benchmark:https://cisco-foundation-ai.github.io/vulnerability-localization-benchmark/ (VLoc Bench), a 500-task agentic evaluation, under the same license.
The main result is not a new state of the art. It is that a 1B model reaches 0.209 File F1. GPT-5.5 reaches 0.229, and a 753B open-weight model reaches 0.186.
Software security depends on connecting external vulnerability knowledge to internal source code. That knowledge lives in public databases, advisories, and Common Weakness Enumerations:https://cwe.mitre.org/. The code lives in repositories that are large, modular, and dependency-rich.
Connecting the two is expensive. Devs search unfamiliar code, follow naming conventions, inspect call paths, and compare candidate files. Cisco’s framing is that this first triage step is where the cost concentrates.
Antares does not replace the application security toolchain. Cisco is explicit about this. Dev teams still need dependency scanning, secret scanning, dynamic testing, container checks, threat modeling, and expert review.
Antares consists of three decoder-only transformers at 350M, 1B, and 3B parameters. All three initialize from IBM Granite 4.0:https://huggingface.co/ibm-granite/granite-4.0-1b checkpoints. They share a tokenizer and architecture: grouped-query attention, SwiGLU MLPs, RMSNorm, RoPE, and shared input/output embeddings.
Antares is not evaluated as a standalone sequence model. It runs inside a constrained loop with three tools.
The model receives a CWE category description and nothing else. No advisory text, no file hints, no severity details. It then issues read-only terminal commands against a Docker sandbox with networking disabled. Command output is truncated to 2,000 characters before entering the transcript.
The budget is 15 terminal calls per task. The model terminates by calling submit_vulnerable_files with a ranked list, or submit_no_vulnerability_found . The submission itself does not count against the budget.
Output is a ranked list of file paths plus the exploration trace that produced it.
VLoc Bench draws 500 tasks from 290 unique real-world repositories. Sources are public GitHub Security Advisories:https://github.com/advisories across six ecosystems: npm, pip, Maven, Go, Rust, and Composer. It covers 147 unique CWE categories, and 78% of entries carry assigned CVE identifiers.
Ground truth is derived from the security patch. Files modified in the fix are labels, with tests, docs, and configuration excluded.
The pattern in the data is a capability cliff, not a scaling curve.
Antares-3B reaches 0.223 File F1, just under GPT-5.5 (xhigh) at 0.229. Antares-1B reaches 0.209, above GLM-5.2:https://huggingface.co/zai-org at 753B parameters, which scores 0.186. Antares-350M reaches 0.135, above Gemma-4-31B at 0.101 and Gemini 2.5 Flash at 0.102.
Antares-1B also records the highest recall of any evaluated system at 0.224.
Static analysis tools were run under the same evaluation. Semgrep:https://semgrep.dev/ scores 0.086 File F1, CodeQL:https://codeql.github.com/ scores 0.023, and Horusec scores 0.020. Cisco's reading is that rule-based scanners recover some vulnerable files but cannot adaptively inspect repository context.
The untrained Granite 4.0 base checkpoints score 0.001, 0.000, and 0.000 File F1 under the identical protocol. They have tool-calling ability and still produce degenerate output inside an agentic loop.
Supervised fine-tuning does the heavy lifting. It lifts the three scales to 0.108, 0.188, and 0.198. The SFT corpus is 71.5% cybersecurity reasoning, 15.4% code search trajectories, and 13.1% deep research and general reasoning. All reasoning traces come from a single teacher, GPT-OSS-120B, to avoid cross-teacher distribution shift.
GRPO:https://arxiv.org/abs/2402.03300 then adds 11% to 25%, with the largest relative gain at 350M. Rewards are verifiable and computed programmatically from trajectory text, with no learned reward model. Components cover localization quality, submission behavior, tool-use compliance, exploration, and malformed-output penalties.
The variance effect may matter more than the mean. GRPO cuts run-to-run standard deviation by 42% to 65%. One GRPO evaluation run is a more reliable estimate than one SFT run.
There is also a scale-dependent split in learned strategy. After GRPO, the 350M and 1B models use 87% to 89% search commands and submit more files. The 3B model settles at 52% search and 37% read, and submits fewer files at higher precision. The reward never prescribed either policy.
Check out the Models on Hugging Face:https://huggingface.co/collections/fdtn-ai/antares, Benchmark:https://cisco-foundation-ai.github.io/vulnerability-localization-benchmark/, GitHub Repo:https://github.com/cisco-foundation-ai/vulnerability-localization-benchmark and Mentioned Technical Report:https://cisco-foundation-ai.github.io/antares/technical-report.pdf.
Michal Sutter is a data science professional with a Master of Science in Data Science from the University of Padova. With a solid foundation in statistical analysis, machine learning, and data engineering, Michal excels at transforming complex datasets into actionable insights.
Build an Agentic Event Venue Operator [Full Codes]:https://pxllnk.co/twdn5
Thanks! Our team will contact you soon 🙌
情报判断
Aioga 编辑摘要
Aioga 编辑摘要:Cisco Foundation AI 发布 Antares 系列安全小语言模型,专用于在代码库中定位已知漏洞。 Aioga 将其归入「模型更新」方向,重点关注它对真实使用和行业竞争的影响。