The Regular Expression Inference Challenge. - Mojtaba Valizadeh; Philip John Gorinski; Ignacio Iacobacci; Martin Berger 001 (CoRR, 2023)

Search-Based Regular Expression Inference on a GPU. - Mojtaba Valizadeh; Martin Berger 001 (Proc. ACM Program. Lang., 2023)

LTL Learning on GPUs. - Mojtaba Valizadeh; Nathanaël Fijalkow; Martin Berger 001 (CAV (3), 2024)

Correct and Optimal: The Regular Expression Inference Challenge. - Mojtaba Valizadeh; Philip John Gorinski; Ignacio Iacobacci; Martin Berger 001 (IJCAI, 2024)

GPU accelerated program synthesis: Enumerate semantics, not syntax! - Martin Berger 001; Nathanaël Fijalkow; Mojtaba Valizadeh (CoRR, 2025)