Valizadeh, Mojtaba

1 publications

IJCAI 2024 Correct and Optimal: The Regular Expression Inference Challenge Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger