Verifying Quantized Graph Neural Networks is PSPACE-complete.

Marco Slzer, Franois Schwarzentruber, Nicolas Troquard

Browse the full IJCAI paper archive.