Sung et al. "LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/861
Markdown
[Sung et al. "LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/sung2025ijcai-logicase/) doi:10.24963/IJCAI.2025/861
BibTeX
@inproceedings{sung2025ijcai-logicase,
title = {{LogiCase: Effective Test Case Generation from Logical Description in Competitive Programming}},
author = {Sung, Sicheol and Aditi, and Kim, Dogyu and Han, Yo-Sub and Ko, Sang-Ki},
booktitle = {International Joint Conference on Artificial Intelligence},
year = {2025},
pages = {7742-7750},
doi = {10.24963/IJCAI.2025/861},
url = {https://mlanthology.org/ijcai/2025/sung2025ijcai-logicase/}
}