@incollection{grastien2027principled,
  title = {Principled {{Rewriting}} of {{ONNX Operators}} for {{Reluctant Solvers}}},
  booktitle = {{{AI Verification}}},
  author = {Grastien, Alban and Ardouin, Guilhem and Girard-Satabin, Julien},
  editor = {Avni, Guy and Schilling, Christian},
  date = {2027},
  volume = {16831},
  pages = {59--72},
  publisher = {Springer Nature Switzerland},
  location = {Cham},
  doi = {10.1007/978-3-032-32357-6_3},
  url = {https://link.springer.com/10.1007/978-3-032-32357-6_3},
  urldate = {2026-07-24},
  isbn = {978-3-032-32356-9 978-3-032-32357-6},
  langid = {english}
}