An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks. - Matan Ostrovsky; Clark W. Barrett; Guy Katz (ATVA, 2022)

Towards Foundation Models on Graphs: An Analysis on Cross-Dataset Transfer of Pretrained GNNs. - Fabrizio Frasca; Fabian Jogl; Moshe Eliasof; Matan Ostrovsky; Carola-Bibiane Schönlieb; Thomas Gärtner 001; Haggai Maron (CoRR, 2024)