Ayham Omar

Identifiers

• name variant Ayham Omar 0.60 · backfill

Papers (1)

1. NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis cs.LO · 2024 · author #3

Mentions

• 2401.12131 #3 · arxiv_oai · confidence 0.70 Ayham Omar

Frequent Coauthors

• Christopher Hahn 1 shared papers
• Frederik Schmitt 1 shared papers
• Matthias Cosler 1 shared papers