no code implementations • 19 Feb 2024 • Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger
Linear temporal logic (LTL) is widely used in industrial verification.
no code implementations • 15 Aug 2023 • Mojtaba Valizadeh, Philip John Gorinski, Ignacio Iacobacci, Martin Berger
We propose \emph{regular expression inference (REI)} as a challenge for code/language modelling, and the wider machine learning community.
1 code implementation • 29 May 2023 • Mojtaba Valizadeh, Martin Berger
Our main algorithmic idea is to implement the search space of regular expressions succinctly as a contiguous matrix of bitvectors.