collaborators

1 paper

cs.LO2026

Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable

Artem Chernobrovkin, Marco Sälzer, François Schwarzentruber +1

We introduce a logical language for reasoning about quantized aggregate-combine graph neural networks with global readout (ACR-GNNs). We provide a logical characterization and use…