01Entry
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.