License: Creative Commons Attribution 4.0 International license (CC BY 4.0)
When quoting this document, please refer to the following
DOI: 10.4230/LIPIcs.TIME.2023.19
URN: urn:nbn:de:0030-drops-191094
URL: http://dagstuhl.sunsite.rwth-aachen.de/volltexte/2023/19109/
Go to the corresponding LIPIcs Volume Portal

Sälzer, Marco ; Beddar-Wiesing, Silvia

Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction (Extended Abstract)

pdf-format:
LIPIcs-TIME-2023-19.pdf (0.5 MB)

Abstract

We present a first notion of a time-aware robustness property for Temporal Graph Neural Networks (TGNN), a recently popular framework for computing functions over continuous- or discrete-time graphs, motivated by recent work on time-aware attacks on TGNN used for link prediction tasks. Furthermore, we discuss promising verification approaches for the presented or similar safety properties and possible next steps in this direction of research.

BibTeX - Entry

@InProceedings{salzer_et_al:LIPIcs.TIME.2023.19,
  author =	{S\"{a}lzer, Marco and Beddar-Wiesing, Silvia},
  title =	{{Time-Aware Robustness of Temporal Graph Neural Networks for Link Prediction}},
  booktitle =	{30th International Symposium on Temporal Representation and Reasoning (TIME 2023)},
  pages =	{19:1--19:3},
  series =	{Leibniz International Proceedings in Informatics (LIPIcs)},
  ISBN =	{978-3-95977-298-3},
  ISSN =	{1868-8969},
  year =	{2023},
  volume =	{278},
  editor =	{Artikis, Alexander and Bruse, Florian and Hunsberger, Luke},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops.dagstuhl.de/opus/volltexte/2023/19109},
  URN =		{urn:nbn:de:0030-drops-191094},
  doi =		{10.4230/LIPIcs.TIME.2023.19},
  annote =	{Keywords: graph neural networks, temporal, verification}
}

Keywords: graph neural networks, temporal, verification
Collection: 30th International Symposium on Temporal Representation and Reasoning (TIME 2023)
Issue Date: 2023
Date of publication: 18.09.2023

DROPS-Home | Fulltext Search | Imprint | Privacy Published by LZI