TY - RPRT TI - Automated Benchmark Generation for Repository-Level Coding Tasks AU - Konstantinos Vergopoulos AU - Mark Niklas Müller AU - Martin Vechev PY - 2025 UR - https://arxiv.org/abs/2503.07701 ID - 2503.07701 ER -