ML Anthology

Correct and Optimal: The Regular Expression Inference Challenge

Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger
IJCAI 2024 pp. 6486-6494
/ijcai/2024/valizadeh2024ijcai-correct/
PDF IJCAI Semantic Scholar

Cite

Text

Valizadeh et al. "Correct and Optimal: The Regular Expression Inference Challenge." International Joint Conference on Artificial Intelligence, 2024.

Markdown

[Valizadeh et al. "Correct and Optimal: The Regular Expression Inference Challenge." International Joint Conference on Artificial Intelligence, 2024.](https://mlanthology.org/ijcai/2024/valizadeh2024ijcai-correct/)

BibTeX

@inproceedings{valizadeh2024ijcai-correct,
  title     = {{Correct and Optimal: The Regular Expression Inference Challenge}},
  author    = {Valizadeh, Mojtaba and Gorinski, Philip John and Iacobacci, Ignacio and Berger, Martin},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {6486-6494},
  url       = {https://mlanthology.org/ijcai/2024/valizadeh2024ijcai-correct/}
}