Cover Image

Formal Verification of Graph Convolutional Networks with Uncertain Node Features and Uncertain Graph Structure

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Ladner, Tobias, Eichelbeck, Michael, Althoff, Matthias
Format:	Preprint
Published:	2024
Subjects:	Machine Learning Artificial Intelligence
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Fully Automatic Neural Network Reduction for Formal Verification
by: Ladner, Tobias, et al.
Published: (2023)

Formally Verifying Analog Neural Networks Under Process Variations Using Polynomial Zonotopes
by: Abu-Haeyeh, Yasmine, et al.
Published: (2026)

Contingency-constrained economic dispatch with safe reinforcement learning
by: Eichelbeck, Michael, et al.
Published: (2022)

Zono-Conformal Prediction: Zonotope-Based Uncertainty Quantification for Regression and Classification Tasks
by: Lützow, Laura, et al.
Published: (2025)

Fuzzy, Neutrosophic, and Uncertain Graph Theory: Properties and Applications
by: Fujita, Takaaki, et al.
Published: (2026)

Out of the Shadows: Exploring a Latent Space for Neural Network Verification
by: Koller, Lukas, et al.
Published: (2025)

Set-Based Training for Neural Network Verification
by: Koller, Lukas, et al.
Published: (2024)

TinyGraph: Joint Feature and Node Condensation for Graph Neural Networks
by: Liu, Yezi, et al.
Published: (2024)

Explaining Graph Neural Networks for Node Similarity on Graphs
by: Daza, Daniel, et al.
Published: (2024)

Markov Process-Based Graph Convolutional Networks for Entity Classification in Knowledge Graphs
by: Mäkelburg, Johannes, et al.
Published: (2024)

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations
by: Bassan, Shahaf, et al.
Published: (2025)

L^2GC:Lorentzian Linear Graph Convolutional Networks for Node Classification
by: Liang, Qiuyu, et al.
Published: (2024)

Graph Unlearning: Efficient Node Removal in Graph Neural Networks
by: Guan, Faqian, et al.
Published: (2025)

BSAT: B-Spline Adaptive Tokenizer for Long-Term Time Series Forecasting
by: Reinwardt, Maximilian, et al.
Published: (2026)

Shape Completion with Prediction of Uncertain Regions
by: Humt, Matthias, et al.
Published: (2023)

Language Models That Walk the Talk: A Framework for Formal Fairness Certificates
by: Chen, Danqing, et al.
Published: (2025)

Set-Based Training of Neural Barrier Certificates for Safety Verification of Dynamical Systems
by: Kranzlmüller, Miriam, et al.
Published: (2026)

Tensor Graph Convolutional Network for Dynamic Graph Representation Learning
by: Wang, Ling, et al.
Published: (2024)

Methodology and Real-World Applications of Dynamic Uncertain Causality Graph for Clinical Diagnosis with Explainability and Invariance
by: Zhang, Zhan, et al.
Published: (2024)

CommonPower: A Framework for Safe Data-Driven Smart Grid Control
by: Eichelbeck, Michael, et al.
Published: (2024)

Improving Stochastic Action-Constrained Reinforcement Learning via Truncated Distributions
by: Stolz, Roland, et al.
Published: (2025)

On the Utilization of Unique Node Identifiers in Graph Neural Networks
by: Bechler-Speicher, Maya, et al.
Published: (2024)

Parallelizing Node-Level Explainability in Graph Neural Networks
by: Llorente, Oscar, et al.
Published: (2026)

Bounding the Expected Robustness of Graph Neural Networks Subject to Node Feature Attacks
by: Abbahaddou, Yassine, et al.
Published: (2024)

One Node Per User: Node-Level Federated Learning for Graph Neural Networks
by: Gao, Zhidong, et al.
Published: (2024)

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

Probabilistic Federated Learning on Uncertain and Heterogeneous Data with Model Personalization
by: Rahman, Ratun, et al.
Published: (2026)

Weighted Graph Structure Learning with Attention Denoising for Node Classification
by: Wang, Tingting, et al.
Published: (2025)

Attention-Based Multiscale Temporal Fusion Network for Uncertain-Mode Fault Diagnosis in Multimode Processes
by: Li, Guangqiang, et al.
Published: (2025)

A Federated Parameter Aggregation Method for Node Classification Tasks with Different Graph Network Structures
by: Song, Hao, et al.
Published: (2024)

Graph Neural Networks with Feature and Structure Aware Random Walk
by: Zhuo, Wei, et al.
Published: (2021)

Learning to Detect Critical Nodes in Sparse Graphs via Feature Importance Awareness
by: Tan, Xuwei, et al.
Published: (2021)

Pure Node Selection for Imbalanced Graph Node Classification
by: Zeng, Fanlong, et al.
Published: (2025)

Certifiably Robust Policies for Uncertain Parametric Environments
by: Schnitzer, Yannik, et al.
Published: (2024)

Conditional Quantile Estimation for Uncertain Watch Time in Short-Video Recommendation
by: Lin, Chengzhi, et al.
Published: (2024)

Ensuring Safety in an Uncertain Environment: Constrained MDPs via Stochastic Thresholds
by: Zuo, Qian, et al.
Published: (2025)

A Novel Spatiotemporal Coupling Graph Convolutional Network
by: Bi, Fanghui
Published: (2024)

Generalized Learning of Coefficients in Spectral Graph Convolutional Networks
by: Coşkun, Mustafa, et al.
Published: (2024)

Convolutional Neural Networks on Graphs with Chebyshev Approximation, Revisited
by: He, Mingguo, et al.
Published: (2022)

A Simplifying and Learnable Graph Convolutional Attention Network for Unsupervised Knowledge Graphs Alignment
by: Cai, Weishan, et al.
Published: (2024)