Verifiably Safe and Correct Deep Neural Networks

Información del proyecto

VeriDeL

Identificador del acuerdo de subvención: 101112713

DOI

10.3030/101112713

Fecha de la firma de la CE 25 Octubre 2023

Fecha de inicio 1 Noviembre 2023

Fecha de finalización 31 Octubre 2028

Financiado con arreglo a

• European Research Council (ERC)

Coste total

€ 1 500 000,00

Aportación de la UE

€ 1 500 000,00

Coordinado por

THE HEBREW UNIVERSITY OF JERUSALEM
Israel

CORDIS proporciona enlaces a los documentos públicos y las publicaciones de los proyectos de los programas marco HORIZONTE.

Los enlaces a los documentos y las publicaciones de los proyectos del Séptimo Programa Marco, así como los enlaces a algunos tipos de resultados específicos, como conjuntos de datos y «software», se obtienen dinámicamente de OpenAIRE .

Publicaciones

Conference proceedings (14)

What makes an Ensemble (Un) Interpretable?

Autores: S. Bassan, G. Amir, M. Zehavi and G. Katz
Publicado en: Proc. 42nd Int. Conf. on Machine Learning (ICML), 2025
Editor: ICML

Analyzing Adversarial Inputs in Deep Reinforcement Learning

Autores: D. Corsi, G. Amir, G. Katz and A. Farinelli
Publicado en: Proc. 3rd Int. Conf. on Bridging the Gap Between AI and Reality (AISoLA), 2025
Editor: AISoLA

Verification-Guided Shielding for Deep Reinforcement Learning

Autores: D. Corsi, G. Amir, A. Rodriguez, C. Sanchez, G. Katz and R. Fox
Publicado en: Proc. 1st Reinforcement Learning Conf. (RLC), 2024
Editor: RLC

A Certified Proof Checker for Deep Neural Network Verification in Imandra

Autores: R. Desmartin, O. Isac, G. Passmore, E. Komendantskaya, K. Stark and G. Katz
Publicado en: Proc. 16th Int. Conf. on Interactive Theorem Proving (ITP), 2025
Editor: ITP

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

Autores: T. Yaacov, G. Weiss, A. Ashrov, G. Katz and H. Zisser
Publicado en: Proc. 20th Int. Conf. on Evaluation of Novel Approaches to Software Engineering (ENASE), 2025
Editor: ENASE

Abstraction-Based Proof Production in Formal Verification of Neural Networks

Autores: Y. Elboher, O. Isac, G. Katz, T. Ladner and H.Wu
Publicado en: Proc. 8th Int. Symposium on AI Verification (SAIV), 2025
Editor: SAIV

On the Computational Tractability of the (Many) Shapley Values

Autores: R. Marzouk, S. Bassan, G. Katz and C. de la Higuera
Publicado en: Proc. 28th Int. Conf. on Artificial Intelligence and Statistics (AISTATS), 2025
Editor: AISTATS

Local vs. Global Interpretability: A Computational Complexity Perspective

Autores: S. Bassan, G. Amir and G. Katz
Publicado en: Proc. 41st Int. Conf. on Machine Learning (ICML), 2024
Editor: ICML

On Augmenting Scenario-Based Modeling with Generative AI

Autores: D. Harel, G. Katz, A. Marron and S. Szekely
Publicado en: Proc. 12th Int. Conf. on Model-Driven Engineering and Software Development (MODELSWARD), 2024
Editor: Modelsward

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

Autores: G. Amir, S. Bassan, and G. Katz
Publicado en: Proc. 27th European Conf. on Artificial Intelligence (ECAI), 2024
Editor: ECAI

Marabou 2.0: A Versatile Formal Analyzer of Neural Networks

Autores: 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
Publicado en: Proc. 36th Int. Conf. on Computer Aided Verification (CAV), pp. 249-264, 2024
Editor: CAV

Neural Network Verification is a Programming Language Challenge

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

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

Autores: S. Bassan, Y. Elboher, T. Ladner, M. Althoff and G. Katz
Publicado en: Proc. 42nd Int. Conf. on Machine Learning (ICML), 2025
Editor: ICML

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

Autores: G. Katz, N. Levy, I. Refaeli and R. Yerushalmi
Publicado en: Proc. 43rd Digital Avionics Systems Conf. (DASC), 2024
Editor: DASC