: Search

Applied Filters

Publications

Conferences

Publication Date

1 ResultsEdit SearchSave SearchRSS

Searched The ACM Guide to Computing Literature (3,848,854 records)|Limit your search to The ACM Full-Text Collection (776,749 records)

Showing 1 - 1of1 Results

Select All

Export Citations Save to Binder

per page:

Recency

Article
December 2024
Graph Convolutional Network Robustness Verification Algorithm Based on Dual Approximation
- Dongdong An,
- Hao Zhang,
- Qin Zhao,
- Jing Liu,
- Jianqi Shi,
- Yanhong Huang,
- Yang Yang,
- Xu Liu,
- Shengchao Qin
Formal Methods and Software EngineeringPages 146–161https://doi.org/10.1007/978-981-96-0617-7_9
Abstract
With the continuous development of Graph Neural Network (GNN) technologies, securing their robustness is crucial for their broad adoption in practical applications. Although various verification methods for training GNNs have been proposed, ...
0
Metrics
Total Citations0