NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis. - Matthias Cosler; Christopher Hahn; Ayham Omar; Frederik Schmitt (TACAS (3), 2024)