Cover Image

Robustness Verification of Graph Neural Networks Via Lightweight Satisfiability Testing

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Lu, Chia-Hsuan, Tan, Tony, Benedikt, Michael
Format:	Preprint
Published:	2025
Subjects:	Machine Learning
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Exact Verification of Graph Neural Networks with Incremental Constraint Solving
by: Liu, Minghao, et al.
Published: (2025)

Decidability of Graph Neural Networks via Logical Characterizations
by: Benedikt, Michael, et al.
Published: (2024)

Analyzing Neural Network Robustness Using Graph Curvature
by: Tan, Shuhang, et al.
Published: (2024)

Robustness Verification of Polynomial Neural Networks
by: Alexandr, Yulia, et al.
Published: (2026)

PAC-Bayesian Adversarially Robust Generalization Bounds for Graph Neural Network
by: Sun, Tan, et al.
Published: (2024)

Analysis of logics with arithmetic
by: Benedikt, Michael, et al.
Published: (2025)

Verification of Neural Networks' Global Robustness
by: Kabaha, Anan, et al.
Published: (2024)

COPYCOP: Ownership Verification for Graph Neural Networks
by: Nandakumar, Rahul, et al.
Published: (2026)

Verification of Neural Networks against Convolutional Perturbations via Parameterised Kernels
by: Brückner, Benedikt, et al.
Published: (2024)

Almost Surely Asymptotically Constant Graph Neural Networks
by: Adam-Day, Sam, et al.
Published: (2024)

Distributionally Robust Statistical Verification with Imprecise Neural Networks
by: Dutta, Souradeep, et al.
Published: (2023)

Are Transformers More Robust? Towards Exact Robustness Verification for Transformers
by: Liao, Brian Hsuan-Cheng, et al.
Published: (2022)

VNN: Verification-Friendly Neural Networks with Hard Robustness Guarantees
by: Baninajjar, Anahita, et al.
Published: (2023)

Purification Of Contaminated Convolutional Neural Networks Via Robust Recovery: An Approach with Theoretical Guarantee in One-Hidden-Layer Case
by: Lu, Hanxiao, et al.
Published: (2024)

The Map Equation Goes Neural: Mapping Network Flows with Graph Neural Networks
by: Blöcker, Christopher, et al.
Published: (2023)

BRAVA-GNN: Betweenness Ranking Approximation Via Degree MAss Inspired Graph Neural Network
by: Dachille, Justin, et al.
Published: (2026)

Toward Fair Graph Neural Networks Via Dual-Teacher Knowledge Distillation
by: Li, Chengyu, et al.
Published: (2024)

Ligandformer: A Graph Neural Network for Predicting Compound Property with Robust Interpretation
by: Guo, Jinjiang, et al.
Published: (2022)

Mini-Batch Robustness Verification of Deep Neural Networks
by: Tzour-Shaday, Saar, et al.
Published: (2025)

Towards Lightweight Graph Neural Network Search with Curriculum Graph Sparsification
by: Xie, Beini, et al.
Published: (2024)

On the Relationship Between Robustness and Expressivity of Graph Neural Networks
by: Kummer, Lorenz, et al.
Published: (2025)

Robust Graph Neural Networks via Unbiased Aggregation
by: Hou, Zhichao, et al.
Published: (2023)

Robust Knowledge Adaptation for Dynamic Graph Neural Networks
by: Li, Hanjie, et al.
Published: (2022)

On the Adversarial Robustness of Graph Neural Networks with Graph Reduction
by: Wu, Kerui, et al.
Published: (2024)

Dynamic DropConnect: Enhancing Neural Network Robustness through Adaptive Edge Dropping Strategies
by: Yang, Yuan-Chih, et al.
Published: (2025)

Testing Individual Fairness in Graph Neural Networks
by: Nasiri, Roya
Published: (2025)

Input Validation for Neural Networks via Runtime Local Robustness Verification
by: Liu, Jiangchao, et al.
Published: (2020)

Commute Graph Neural Networks
by: Zhuo, Wei, et al.
Published: (2024)

Training Robust Graph Neural Networks by Modeling Noise Dependencies
by: In, Yeonjun, et al.
Published: (2025)

Enhancing Robustness of Graph Neural Networks through p-Laplacian
by: Sirohi, Anuj Kumar, et al.
Published: (2025)

Robust Anomaly Detection with Graph Neural Networks using Controllability
by: Wei, Yifan, et al.
Published: (2025)

Towards Robust Fidelity for Evaluating Explainability of Graph Neural Networks
by: Zheng, Xu, et al.
Published: (2023)

Enhancing Robustness of Graph Neural Networks through p-Laplacian
by: Sirohi, Anuj Kumar, et al.
Published: (2024)

Generating Robust Counterfactual Witnesses for Graph Neural Networks
by: Qiu, Dazhuo, et al.
Published: (2024)

Learning Dynamic Graphs via Tensorized and Lightweight Graph Convolutional Networks
by: Han, Minglian
Published: (2025)

Doubly Robust Conditional Independence Testing with Generative Neural Networks
by: Zhang, Yi, et al.
Published: (2024)

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure
by: Ladner, Tobias, et al.
Published: (2024)

Robust Graph Neural Networks for Stability Analysis in Dynamic Networks
by: Zhang, Xin, et al.
Published: (2024)

How Expressive Are Graph Neural Networks in the Presence of Node Identifiers?
by: Soeteman, Arie, et al.
Published: (2026)

Multi-Evidence based Fact Verification via A Confidential Graph Neural Network
by: Lan, Yuqing, et al.
Published: (2024)