一手来源
来自监管文件、官方公告或公司 IR 等一手渠道CheckerBench：长视距智能体能合成静态分析检查器吗？
arXiv 2610.07557 · 51 人推荐 · 附代码 ahang0712/CheckerBench-Dataset。Static-analysis checker synthesis requires agents to interpret a defect specification, inspect a repository, implement analyzer-specific logic, and refine the checker through repeated compilation and analysis feedback. Existing coding-agent benchmarks focus on tasks such as patch generation or vulnerability detection and rarely assess whether an agent can develop a working checker in a repository from start to finish. We introduce CheckerBench, an executable benchmark of 300 tasks derived from 2
Evidence
来源与证据
已关联官方公告、监管文件、论文或公司发布等一手材料。
- 发布时间
- 内容处理
- AI 翻译 / 摘要，需结合原文核对
相关资讯
【论文】VibeVideoBench: Evaluating Multimodal Agents on Code-Driven Video Generation
arXiv 2610.35864 · 25 人推荐。Diffusion video models produce striking clips, but they cannot reliably render an exact formula, a correct chart, a rule-consistent game or narration synchronized to on-screen events. A different route is emerging: multimodal agents that write code to render every frame and
【论文】Kronecker Delta Rule for Long Context Linear Attention
arXiv 2610.26834 · 20 人推荐。We propose KronLSTM, a linear attention architecture based on the Kronecker Delta Rule, a novel update rule for associative matrix memories. KronLSTM extends the xLSTM family with a memory-revision mechanism that corrects targeted associations while modifying the memory onl
LEGO：无需移动的视外到视内视频生成方法
从单条视外记录生成视内视频的新方法
AI 翻译、摘要和解读仅用于辅助判断；涉及重要决策时，请回到上方来源核实。