Verifying Quantized Graph Neural Networks Is PSPACE-Complete

Sälzer et al. "Verifying Quantized Graph Neural Networks Is PSPACE-Complete." International Joint Conference on Artificial Intelligence, 2025. doi:10.24963/IJCAI.2025/519

[Sälzer et al. "Verifying Quantized Graph Neural Networks Is PSPACE-Complete." International Joint Conference on Artificial Intelligence, 2025.](https://mlanthology.org/ijcai/2025/salzer2025ijcai-verifying/) doi:10.24963/IJCAI.2025/519

@inproceedings{salzer2025ijcai-verifying,
  title     = {{Verifying Quantized Graph Neural Networks Is PSPACE-Complete}},
  author    = {Sälzer, Marco and Schwarzentruber, François and Troquard, Nicolas},
  booktitle = {International Joint Conference on Artificial Intelligence},
  year      = {2025},
  pages     = {4660-4668},
  doi       = {10.24963/IJCAI.2025/519},
  url       = {https://mlanthology.org/ijcai/2025/salzer2025ijcai-verifying/}
}