You are here

Publications

Export 3 results:

BibTeX

] Title Type Year

Filters: First Letter Of Last Name is L [Clear All Filters]

A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

L

Space Explanations of Neural Network Classification, Labbaf, Faezeh, Kolárik Tomáš, Blicha Martin, Fedyukovich Grigory, Wand Michael, and Sharygina Natasha , 37th CAV 2025, (2025)

VERIGE: Verification with Invariant Generation Engine, Latorre, N., Alberti Francesco, and Sharygina Natasha , SPIN, (2014)

Interpreting Logical Explanations of Classifying Neural Networks, Leopardi, Fabrizio, Labbaf Faezeh, Kolárik Tomáš, Wand Michael, and Sharygina Natasha , ESANN 2026, (2026)