@article{learningenabledparametersynthesisfornonl,
  title = {Learning-enabled Parameter Synthesis for Nonlinear Systems from Signal Temporal Logic},
  author = {Alex Beaudin and Hanna Krasowski and Eric Palanques-Tost and Calin Belta and Murat Arack},
  year = {2026},
  eprint = {2607.08899},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2607.08899},
}