LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming. - Sicheol Sung; Aditi; Dogyu kim; Yo-Sub Han; Sang-Ki Ko (CoRR, 2025)