이 연구는 그래프 신경망의 공식적 검증에 대한 새로운 접근법을 제시합니다. 주요 내용은 다음과 같습니다:
노드 특성과 그래프 구조의 불확실성을 모두 고려하여 일반적인 그래프 합성곱 신경망 아키텍처를 검증하는 첫 번째 접근법을 제시합니다.
모든 요소의 비볼록 종속성을 (행렬) 다항식 조노토프를 통해 명시적으로 보존하여 모든 계층에서 신경망의 출력을 정확하게 계산합니다.
불확실한 그래프 입력에 대해 다중 메시지 전달 단계에 걸쳐 신경망을 검증할 수 있습니다.
제안된 접근법의 시간 복잡도는 불확실한 입력 특성 및 불확실한 엣지 수에 대해 다항식 시간입니다.
3개의 인기 있는 벤치마크 데이터셋에 대한 실험 결과를 제시합니다.
A otro idioma
del contenido fuente
arxiv.org
Ideas clave extraídas de
by Tobias Ladne... a las arxiv.org 04-24-2024
https://arxiv.org/pdf/2404.15065.pdfConsultas más profundas