@article{theregularexpressioninferencechallenge,
  title = {Correct and Optimal: the Regular Expression Inference Challenge},
  author = {Mojtaba Valizadeh and Philip John Gorinski and Ignacio Iacobacci and Martin Berger},
  year = {2023},
  eprint = {2308.07899},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2308.07899v2},
}