Search Results for author: Mojtaba Valizadeh

Found 3 papers, 1 papers with code

LTL learning on GPUs

no code implementations19 Feb 2024 Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger

Linear temporal logic (LTL) is widely used in industrial verification.

Program Synthesis

The Regular Expression Inference Challenge

no code implementations15 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.

Language Modelling Program Synthesis

Search-Based Regular Expression Inference on a GPU

1 code implementation29 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.

Program Synthesis

Cannot find the paper you are looking for? You can Submit a new open access paper.