@misc{indiciae790c0c2a402f,
  title = {Verifying Quantized Graph Neural Networks is PSPACE-complete},
  author = {Marco Sälzer and François Schwarzentruber and Nicolas Troquard},
  year = {2025},
  url = {https://arxiv.org/abs/2502.16244},
  note = {Source identifier: 2502.16244}
}