Autor der Publikation

Concept-Based Analysis of Neural Networks via Vision-Language Models.

, , , , , , und . SAIV, Volume 14846 von Lecture Notes in Computer Science, Seite 49-77. Springer, (2024)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

BDD-Based Algorithms for Packet Classification., , , und . FMCAD, Seite 64-68. IEEE, (2019)Abduction-Based Explanations for Machine Learning Models., , und . CoRR, (2018)Verification of Recurrent Neural Networks for Cognitive Tasks via Reachability Analysis., , , , , und . ECAI, Volume 325 von Frontiers in Artificial Intelligence and Applications, Seite 1690-1697. IOS Press, (2020)Concept-Based Analysis of Neural Networks via Vision-Language Models., , , , , , und . SAIV, Volume 14846 von Lecture Notes in Computer Science, Seite 49-77. Springer, (2024)SAT-Based Strategy Extraction in Reachability Games., , , und . AAAI, Seite 3738-3745. AAAI Press, (2015)Analyzing Learning-Based Networked Systems with Formal Verification., , und . INFOCOM, Seite 1-10. IEEE, (2021)The FMCAD 2023 Student Forum., und . FMCAD, Seite 1-2. IEEE, (2023)From Contrastive to Abductive Explanations and Back Again., , , und . AI*IA, Volume 12414 von Lecture Notes in Computer Science, Seite 335-355. Springer, (2020)On Relating Explanations and Adversarial Examples., , und . NeurIPS, Seite 15857-15867. (2019)In Search for a SAT-friendly Binarized Neural Network Architecture., , , und . ICLR, OpenReview.net, (2020)