IJCAI 2025 - Naïve implementation of the proof system for verifying quantized graph neural networks

This repository contains the naïve Python implementation of the proof system for verifying quantized graph neural networks proposed in the following paper:

Marco Sälzer, François Schwarzentruber, Nicolas Troquard. Verifying Quantized Graph Neural Networks is PSPACE-complete. IJCAI 2025 (to appear)