TY - RPRT TI - HardTests: Synthesizing High-Quality Test Cases for LLM Coding AU - Zhongmou He AU - Yee Man Choi AU - Kexun Zhang AU - Jiabao Ji AU - Junting Zhou AU - Dejia Xu AU - Ivan Bercovich AU - Aidan Zhang AU - Lei Li PY - 2025 UR - https://arxiv.org/abs/2505.24098 ID - 2505.24098 ER -