Correct and Optimal: The Regular Expression Inference Challenge.

Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger

Browse the full IJCAI paper archive.