Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable.

Artem Chernobrovkin, Marco Slzer, Franois Schwarzentruber, Nicolas Troquard

Browse the full KR paper archive.