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...
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.ver más
02-11-2024:
Generación Fotovolt...
Se ha cerrado la línea de ayuda pública: Subvenciones destinadas al fomento de la generación fotovoltaica en espacios antropizados en Canarias, 2024
01-11-2024:
ENESA
En las últimas 48 horas el Organismo ENESA ha otorgado 6 concesiones
01-11-2024:
FEGA
En las últimas 48 horas el Organismo FEGA ha otorgado 1667 concesiones
Seleccionando "Aceptar todas las cookies" acepta el uso de cookies para ayudarnos a brindarle una mejor experiencia de usuario y para analizar el uso del sitio web. Al hacer clic en "Ajustar tus preferencias" puede elegir qué cookies permitir. Solo las cookies esenciales son necesarias para el correcto funcionamiento de nuestro sitio web y no se pueden rechazar.
Cookie settings
Nuestro sitio web almacena cuatro tipos de cookies. En cualquier momento puede elegir qué cookies acepta y cuáles rechaza. Puede obtener más información sobre qué son las cookies y qué tipos de cookies almacenamos en nuestra Política de cookies.
Son necesarias por razones técnicas. Sin ellas, este sitio web podría no funcionar correctamente.
Son necesarias para una funcionalidad específica en el sitio web. Sin ellos, algunas características pueden estar deshabilitadas.
Nos permite analizar el uso del sitio web y mejorar la experiencia del visitante.
Nos permite personalizar su experiencia y enviarle contenido y ofertas relevantes, en este sitio web y en otros sitios web.