@misc{indiciae040066c0a054,
  title = {Lecture Notes on Verifying Graph Neural Networks},
  author = {François Schwarzentruber},
  year = {2025},
  url = {https://arxiv.org/abs/2510.11617},
  note = {Source identifier: 2510.11617}
}