@misc{indiciaeb7132a6725ff,
  title = {NeuroSynt: A Neuro-symbolic Portfolio Solver for Reactive Synthesis},
  author = {Matthias Cosler and Christopher Hahn and Ayham Omar and Frederik Schmitt},
  year = {2024},
  url = {https://arxiv.org/abs/2401.12131},
  note = {Source identifier: 2401.12131}
}