Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries

Joonghyuk Hahn, Yo-Sub Han. Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries. In Vera Demberg, Kentaro Inui, Lluís Marquez, editors, Findings of the Association for Computational Linguistics: EACL 2026, Rabat, Morocco, March 24-29, 2026. pages 6297-6305, Association for Computational Linguistics, 2026. [doi]

@inproceedings{HahnH26,
  title = {Query4Regex: Verifiable Regex Transformation through Formal Operations from NL and DSL Queries},
  author = {Joonghyuk Hahn and Yo-Sub Han},
  year = {2026},
  url = {https://aclanthology.org/2026.findings-eacl.331/},
  researchr = {https://researchr.org/publication/HahnH26},
  cites = {0},
  citedby = {0},
  pages = {6297-6305},
  booktitle = {Findings of the Association for Computational Linguistics: EACL 2026, Rabat, Morocco, March 24-29, 2026},
  editor = {Vera Demberg and Kentaro Inui and Lluís Marquez},
  publisher = {Association for Computational Linguistics},
  isbn = {979-8-89176-386-9},
}