---
title: Safety Verification of Neural Networks
type: Projekt
status: In Betrieb
aliases:
---
# Safety Verification of Neural Networks
## Kurzbeschreibung
Dieses Projekt entwickelte quelloffene Algorithmen zur Sicherheitsüberprüfung von nichtlinearen Systemen mit neuronalen Netzwerkkomponenten. Es bietet Entwicklern von maschinellem Lernen für sicherheitskritische Systeme ein Werkzeug, um Anwender vor unentdeckten Fehlern zu schützen.
## Organisation(en)
- [[Organisation/Stanford University]]
## Projekt-Links
-
## Einsatzbereiche
## Arten
- [[Datenanalyse]]: #Datenanalyse
- [[Virtuelle Assistenz]]: #Entscheidungsassistent
- [[Wirkungsmessung]]: #Monitoring
- [[Öffentliche Daten]]: #Offene-Daten
- #KI-Anwendung
## Quelle
- https://publicinterest.ai/tool/map/project/safety-verification-of-neural-networks
Lizenz: "CC-BY 4.0" mit Dank an https://publicinterest.ai/
Zurück zu: [[@Alle Projekte]]