TY - RPRT TI - Recovered in Translation: Efficient Pipeline for Automated Translation of Benchmarks and Datasets AU - Hanna Yukhymenko AU - Anton Alexandrov AU - Martin Vechev PY - 2026 UR - https://arxiv.org/abs/2602.22207 ID - 2602.22207 ER -