Verifiably Safe and Correct Deep Neural Networks

Informacje na temat projektu

VeriDeL

Identyfikator umowy o grant: 101112713

DOI

10.3030/101112713

Data podpisania przez KE 25 Października 2023

Data rozpoczęcia 1 Listopada 2023

Data zakończenia 31 Października 2028

Finansowanie w ramach

• European Research Council (ERC)

Koszt całkowity

€ 1 500 000,00

Wkład UE

€ 1 500 000,00

Koordynowany przez

THE HEBREW UNIVERSITY OF JERUSALEM
Israel

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Publikacje

Conference proceedings (14)

What makes an Ensemble (Un) Interpretable?

Autorzy: S. Bassan, G. Amir, M. Zehavi and G. Katz
Opublikowane w: Proc. 42nd Int. Conf. on Machine Learning (ICML), 2025
Wydawca: ICML

Analyzing Adversarial Inputs in Deep Reinforcement Learning

Autorzy: D. Corsi, G. Amir, G. Katz and A. Farinelli
Opublikowane w: Proc. 3rd Int. Conf. on Bridging the Gap Between AI and Reality (AISoLA), 2025
Wydawca: AISoLA

Verification-Guided Shielding for Deep Reinforcement Learning

Autorzy: D. Corsi, G. Amir, A. Rodriguez, C. Sanchez, G. Katz and R. Fox
Opublikowane w: Proc. 1st Reinforcement Learning Conf. (RLC), 2024
Wydawca: RLC

A Certified Proof Checker for Deep Neural Network Verification in Imandra

Autorzy: R. Desmartin, O. Isac, G. Passmore, E. Komendantskaya, K. Stark and G. Katz
Opublikowane w: Proc. 16th Int. Conf. on Interactive Theorem Proving (ITP), 2025
Wydawca: ITP

Exploring and Evaluating Interplays of BPpy with Deep Reinforcement Learning and Formal Methods

Autorzy: T. Yaacov, G. Weiss, A. Ashrov, G. Katz and H. Zisser
Opublikowane w: Proc. 20th Int. Conf. on Evaluation of Novel Approaches to Software Engineering (ENASE), 2025
Wydawca: ENASE

Abstraction-Based Proof Production in Formal Verification of Neural Networks

Autorzy: Y. Elboher, O. Isac, G. Katz, T. Ladner and H.Wu
Opublikowane w: Proc. 8th Int. Symposium on AI Verification (SAIV), 2025
Wydawca: SAIV

On the Computational Tractability of the (Many) Shapley Values

Autorzy: R. Marzouk, S. Bassan, G. Katz and C. de la Higuera
Opublikowane w: Proc. 28th Int. Conf. on Artificial Intelligence and Statistics (AISTATS), 2025
Wydawca: AISTATS

Local vs. Global Interpretability: A Computational Complexity Perspective

Autorzy: S. Bassan, G. Amir and G. Katz
Opublikowane w: Proc. 41st Int. Conf. on Machine Learning (ICML), 2024
Wydawca: ICML

On Augmenting Scenario-Based Modeling with Generative AI

Autorzy: D. Harel, G. Katz, A. Marron and S. Szekely
Opublikowane w: Proc. 12th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), 2024
Wydawca: Modelsward

Hard to Explain: On the Computational Hardness of In-Distribution Model Interpretation

Autorzy: G. Amir, S. Bassan, and G. Katz
Opublikowane w: Proc. 27th European Conf. on Artificial Intelligence (ECAI), 2024
Wydawca: ECAI

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Autorzy: H. Wu, O. Isac, A. Zeljic, T. Tagomori, M. Daggitt, W. Kokke, I. Refaeli, G. Amir, K. Julian, S. Bassan, P. Huang, O. Lahav, M. Wu, M. Zhang, E. Komendantskaya, G. Katz and C. Barrett
Opublikowane w: Proc. 36th Int. Conf. on Computer Aided Verification (CAV), pp. 249-264, 2024
Wydawca: CAV

Neural Network Verification is a Programming Language Challenge

Autorzy: L. Cordeiro, M. Daggitt, J. Girard-Satabin, O. Isac, T. Johnson, G. Katz, E. Komendantskaya, A. Lemesle, E. Manino, A. Sinkarovs and H. Wu
Opublikowane w: Proc. 34th European Symposium on Programming (ESOP), 2025
Wydawca: ESOP

Explaining, Fast and Slow: Abstraction and Refinement of Provable Explanations

Autorzy: S. Bassan, Y. Elboher, T. Ladner, M. Althoff and G. Katz
Opublikowane w: Proc. 42nd Int. Conf. on Machine Learning (ICML), 2025
Wydawca: ICML

DEM: A Method for Certifying Deep Neural Network Classifier Outputs in Aerospace

Autorzy: G. Katz, N. Levy, I. Refaeli and R. Yerushalmi
Opublikowane w: Proc. 43rd Digital Avionics Systems Conf. (DASC), 2024
Wydawca: DASC