Archive

  1. NewsRead7 Oct 2026

    CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers?

    Introduces an executable benchmark for evaluating whether long-horizon agents can synthesize static-analysis checkers โ€” a concrete yardstick for coding-agent evals on extended, multi-step work.