Submitted by Bench is all you need 71 CheckerBench: Can Long-Horizon Agents Synthesize Static-Analysis Checkers? Humanlaya Data Lab 2 2
Bench is all you need