Mojtaba Valizadeh

Identifiers

• name variant Mojtaba Valizadeh 0.60 · backfill

Papers (4)

1. GPU accelerated program synthesis: Enumerate semantics, not syntax! cs.PL · 2025 · author #3
2. LTL learning on GPUs cs.PL · 2024 · author #1
3. Correct and Optimal: the Regular Expression Inference Challenge cs.LG · 2023 · author #1
4. Search-Based Regular Expression Inference on a GPU cs.PL · 2023 · author #1

Mentions

• 2504.18943 #3 · arxiv_oai · confidence 0.70 Mojtaba Valizadeh
• 2308.07899 #1 · arxiv_oai · confidence 0.70 Mojtaba Valizadeh
• 2402.12373 #1 · arxiv_oai · confidence 0.70 Mojtaba Valizadeh
• 2305.18575 #1 · arxiv_oai · confidence 0.70 Mojtaba Valizadeh

Frequent Coauthors

• Martin Berger 4 shared papers
• Nathana\"el Fijalkow 2 shared papers
• Ignacio Iacobacci 1 shared papers
• Philip John Gorinski 1 shared papers