Hola,
¿eres nuevo aquí?

Regístrate gratis y conecta tu empresa con financiación pública, partners y proyectos.

Tengo cuenta

Regístrate

Ver video

VeriDeL

Financiado

Verifiably Safe and Correct Deep Neural Networks

Deep machine learning is revolutionizing computer science. Instead of manually creating complex software, engineers now use automatically generated deep neural networks (DNNs) in critical financial, medical and transportation syst... ver más

31/10/2028

THE HEBREW UNIVERS...

2M€

Presupuesto del proyecto: 2M€

Líder del proyecto

THE HEBREW UNIVERSITY OF JERUSALEM No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Fecha límite participación Sin fecha límite de participación.

Financiación concedida El organismo HORIZON EUROPE notifico la concesión del proyecto el día 2023-10-25

ERC-2023-STG: ERC STARTING GRANTS Scope:Objectives

I+D

Cerrada hace 2 años

0% 100% 100%

Información adicional privada

No hay información privada compartida para este proyecto. Habla con el coordinador.

1 Participantes

THE HEBREW UNIVERSITY OF JER...

1.50M€ | Lider

Conecta tu I+D

¿Tienes un proyecto y buscas un partner? Gracias a nuestro motor inteligente podemos recomendarte los mejores socios y ponerte en contacto con ellos. Te lo explicamos en este video

Proyectos interesantes

PID2020-112754GB-I00 MODELIZACION Y ANALISIS DE CONTEXTOS PARA EL DISEÑO DE SISTE... 58K€ Cerrado

AI4REASON Artificial Intelligence for Large Scale Computer Assisted Re... 1M€ Cerrado

IJC2019-039152-I Deep Learning and Neural-symbolic learning and reasoning for... 93K€ Cerrado

BES-2017-080544 Cognitive and Intelligent Systems 93K€ Cerrado

TRUST-AI Transparent Reliable and Unbiased Smart Tool for AI 4M€ Cerrado

DeepLog Deep Probabilistic Logics 3M€ Cerrado

Duración del proyecto: 60 meses Fecha Inicio: 2023-10-25
Fecha Fin: 2028-10-31

Líder del proyecto

THE HEBREW UNIVERSITY OF JERUSALEM No se ha especificado una descripción o un objeto social para esta compañía.

TRL 4-5

Presupuesto del proyecto 2M€

Fecha límite de participación Sin fecha límite de participación.

Descripción del proyecto Deep machine learning is revolutionizing computer science. Instead of manually creating complex software, engineers now use automatically generated deep neural networks (DNNs) in critical financial, medical and transportation systems, obtaining previously unimaginable results. Despite their remarkable achievements, DNNs remain opaque. We do not understand their decision making and cannot prove their correctness - thus risking potentially devastating outcomes. For example, it has been shown that DNNs that navigate autonomous aircraft with the goal of avoiding collisions could produce incorrect turning advisories. Thus, the lack of formal guarantees regarding DNN behavior is preventing their safe deployment in critical systems, and could jeopardize human lives. Consequently, there is a crucial need to ensure that DNNs operate correctly. Recent and exciting developments in formal verification allow us to automatically reason about DNNs. However, this is a nascent technology, which currently only scales to medium-sized DNNs - whereas real-world systems are much larger. Additionally, it is unclear how to apply this technology in practice. I propose to bridge this crucial gap through the development of novel, scalable and groundbreaking techniques for verifying the correctness of large DNNs, and by applying them to real systems of interest. I will do this by (1) developing search-space pruning techniques, which will enable us to verify larger DNNs; (2) creating novel abstraction-refinement techniques, which will allow us to scale to even larger DNNs; and (3) identifying new kinds of relevant specifications and key domains where DNNs are used, demonstrating the verification of real-world DNNs. This project will result in a sound and expressive framework for automatically reasoning about DNNs, orders of magnitude larger than is possible today. This framework will ensure the safety and correctness of DNNs deployed in critical systems, greatly benefiting users and society.

Conecta tu I+D

Entra hoy

¿Olvidé mi contraseña?

Financiación

Empresas

CTIs/Universidades

Proyectos

Investigadores