Login / Signup
Ayham Omar
ORCID
Publication Activity (10 Years)
Years Active: 2024-2024
Publications (10 Years): 2
Top Topics
Neural Learning
Case Study
Portfolio Selection
Symbolic Data
Top Venues
CoRR
TACAS (3)
</>
Publications
</>
Matthias Cosler
,
Christopher Hahn
,
Ayham Omar
,
Frederik Schmitt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.
TACAS (3)
(2024)
Matthias Cosler
,
Christopher Hahn
,
Ayham Omar
,
Frederik Schmitt
NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis.
CoRR
(2024)