HardTests: Synthesizing High-Quality Test Cases for LLM Coding#Testing#Large Language Models#Paper#PDF#Coding#Verification·arxiv.org·Jun 3, 2025HardTests: Synthesizing High-Quality Test Cases for LLM Coding