CORDIS Project
Funding breakdown and partner intelligence are Premium
Sign in and upgrade to Premium for EU contribution totals, consortium analytics, OpenAlex research context, and AI summaries. · 0 consortium intelligence fields visible of 1
Start free • Cancel anytime • 14-day refund guarantee
This project aims to improve the safety and correctness of deep neural networks (DNNs) used in critical systems by developing scalable verification techniques. The goal is to ensure reliable operation of DNNs in high-stakes applications like finance and transportation.
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 D…
Partner organizations (coordinator is shown above), with normalized type and CORDIS activity type. Guests see up to 4 partners.
Similar projects, consortium collaboration history, frequent partners, and OpenAlex research context.
Guests see up to 5 EuroSciVoc fields.
Guests see up to 5 topics.
Guests see up to 5 keywords.
