TY  - RPRT
TI  - Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
AU  - Artem Chernobrovkin
AU  - Marco Sälzer
AU  - François Schwarzentruber
AU  - Nicolas Troquard
PY  - 2026
UR  - https://arxiv.org/abs/2510.08045
ID  - 2510.08045
ER  -