@article{daggitt2026compositionalneuralcyberphysicalverificationinteractive,
      title={Compositional Neural-Cyber-Physical System Verification in the Interactive Theorem Prover of Your Choice}, 
      author={Matthew L. Daggitt and Ekaterina Komendantskaya and Alistair Sirman and Alessandro Bruni and Samuel Teuber and Josh Smart and Grant Passmore},
      eprint={2605.02790},
      archivePrefix={arXiv},
      primaryClass={cs.PL},
      url={https://arxiv.org/abs/2605.02790}, 
      journal      = {Proc. {ACM} Program. Lang.},
      number       = {ICFP},
      year={2026},
  month = {aug},
}