Verifying Quantized Graph Neural Networks is PSPACE-complete

Open in new window