arXiv 2610.07557 · cs.SE · 2026-10-06
CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?
Hang He, Li Wang, Hao Chen, Yuchen Shao, Yuling Shi, Lisheng Wang, Peiyang Liu, Goose Lin 等 12 人
Humanlaya Data Lab
在最新榜 #215 本站收录于 2026-10-21
一句话要点
CheckerBench 用源自 297 个 CVE 的 300 个任务，测智能体能否在真实仓库写出静态分析检查器。
CheckerBench tests whether long-horizon agents can build working static-analysis checkers, with 300 tasks from 297 CVEs.
阅读 arXiv 原文 PDF Hugging Face 讨论 代码仓库
主题与学科
同主题：代码与软件工程
- CodeMidas: Scaling Agentic Coding RL Environments from Code Itself ▲138
- AesCode: Aesthetic Code Generation with Decoupled Cross-Modal Rewards ▲137
- LEGO-Anything: Coding Agents for 3D Scene Reconstruction ▲129
- 3DCodeVerse: Exploring 3D Worlds as Code ▲117
- Groupwise Agentic Grading and Advantage Redistribution for Code Agent RL ▲95
数据说明
元数据来自 arXiv API（已核实）；点赞来自 Hugging Face 每日论文；引用来自 Semantic Scholar。最近刷新 2026-10-22。
要点由本站根据摘要自写，不转载摘要原文，请阅读原文。 要点修订于 2026-10-21。