@inproceedings{hahn-han-2026-query4regex, title = "{Q}uery4{R}egex: Verifiable Regex Transformation through Formal Operations from {NL} and {DSL} Queries", author = "Hahn, Joonghyuk and Han, Yo-Sub", editor = "Demberg, Vera and Inui, Kentaro and Marquez, Llu{\'i}s", booktitle = "Findings of the {A}ssociation for {C}omputational {L}inguistics: {EACL} 2026", month = mar, year = "2026", address = "Rabat, Morocco", publisher = "Association for Computational Linguistics", url = "https://preview.aclanthology.org/ingest-eacl/2026.findings-eacl.331/", pages = "6297--6305", ISBN = "979-8-89176-386-9" }