AI RESEARCH
Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
arXiv CS.LG
•
ArXi:2510.08045v2 Announce Type: replace-cross