Verifikation neuronaler Netze mit quantendeterministischem Annealing
Die Überprüfung der Input-Output-Beziehungen eines neuronalen Netzes ist ein wichtiges Problem beim Maschinellen Lernen. Hier schlagen wir eine Quantenversion des deterministischen Annealing-Algorithmus vor, um das Problem zu lösen, und wenden ihn auf die Verkehrszeichenerkennung an, die eine wesentliche Aufgabe für selbstfahrende Fahrzeuge darstellt.
Haftungsausschluss
Die interaktiven Demonstratornotebooks wurden unter der Apache-Lizenz (Version 2.0) lizenziert. Die Dateien dürfen nur in Übereinstimmung mit der Lizenz verwendet werden. Eine Kopie der Lizenz kann unter http://www.apache.org/licenses/LICENSE-2.0 abgerufen werden. Sofern nicht durch geltendes Recht vorgeschrieben oder schriftlich vereinbart, wird unter dieser Lizenz vertriebene Software auf einer »AS IS«-Basis vertrieben, ohne Gewährleistungen oder Bedingungen jeglicher Art, weder explizit noch implizit. In der Lizenz finden Sie die damit verbundenen spezifischen Bestimmungen zu den Rechten und Beschränkungen.
Dies ist ein Forschungsprototyp. Die Haftung für entgangenen Gewinn, Produktionsausfall, Betriebsunterbrechung, entgangene Nutzungen, Verlust von Daten und Informationen, Finanzierungsaufwendungen sowie sonstige Vermögens- und Folgeschäden ist, außer in Fällen von grober Fahrlässigkeit, Vorsatz und Personenschäden, ausgeschlossen.