Mojtaba Valizadeh

According to our database, Mojtaba Valizadeh authored at least 5 papers between 2023 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

GPU accelerated program synthesis: Enumerate semantics, not syntax!

Martin Berger, Nathanaël Fijalkow, Mojtaba Valizadeh

CoRR, April, 2025

2024

Correct and Optimal: The Regular Expression Inference Challenge.

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

Proceedings of the Thirty-Third International Joint Conference on Artificial Intelligence, 2024

LTL Learning on GPUs.

Mojtaba Valizadeh, Nathanaël Fijalkow, Martin Berger

Proceedings of the Computer Aided Verification - 36th International Conference, 2024

2023

Search-Based Regular Expression Inference on a GPU.

Mojtaba Valizadeh, Martin Berger

Proc. ACM Program. Lang., 2023

The Regular Expression Inference Challenge.

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

CoRR, 2023