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