Corina Pasareanu

Eine Methode zur Verbesserung des Verständnisses und der Sicherheit von Graph-Neuronalen Netzwerken.

Eine neue Methode, um tiefe neuronale Netze mit Hilfe von Vision-Sprachmodellen zu überprüfen.