Automated Benchmark Generation for Repository-Level Coding Tasks. - Konstantinos Vergopoulos; Mark Niklas Müller; Martin T. Vechev (CoRR, 2025)