{"type": "article", "title": "CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/checkerbench-can-long-horizon-agents-synthesize-static-analysis-checkers", "original_source": "https://aiflash.com/news/132919/", "published": "2026-10-07T17:00:10+00:00", "accessed": "2026-10-07", "id": "checkerbench-can-long-horizon-agents-synthesize-static-analysis-checkers"}