A Logic for Reasoning About Aggregate-Combine Graph Neural Networks

Documenti analoghi

• Verifying Quantized Graph Neural Networks is PSPACE-complete
  di: Sälzer, Marco, et al.
  Pubblicazione: (2025)
• Verifying Quantized GNNs With Readout Is Decidable But Highly Intractable
  di: Chernobrovkin, Artem, et al.
  Pubblicazione: (2025)
• Lecture Notes on Verifying Graph Neural Networks
  di: Schwarzentruber, François
  Pubblicazione: (2025)
• The Logical Expressiveness of Temporal GNNs via Two-Dimensional Product Logics
  di: Sälzer, Marco, et al.
  Pubblicazione: (2025)
• Reasoning About Knowledge on Regular Expressions is 2EXPTIME-complete
  di: Ghosh, Avijeet, et al.
  Pubblicazione: (2025)