TY - RPRT TI - LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming AU - Sicheol Sung AU - Aditi AU - Dogyu kim AU - Yo-Sub Han AU - Sang-Ki Ko PY - 2025 UR - https://arxiv.org/abs/2505.15039 ID - 2505.15039 ER -