HardTests: Synthesizing High-Quality Test Cases for LLM Coding. - Zhongmou He; Yee Man Choi; Kexun Zhang; Jiabao Ji; Junting Zhou; Dejia Xu; Ivan Bercovich; Aidan Zhang; Lei Li (CoRR, 2025)