Traffic Sign Recognition

Verification of Neural Networks with Quantum Deterministic Annealing

Fraunhofer IPA

Verifying the input-output relations of a Neural Network is an important problem in machine learning. Here, we propose a quantum version of the deterministic annealing algorithm to solve the problem and apply it to traffic-sign recognition which is an essential task for self-driving vehicles.


The interactive demonstrator notebooks have been licensed under the Apache licence (version 2.0). The files may only be used in accordance with the licence. A copy of the licence can be downloaded from Except as required by applicable law or agreed to in writing, software distributed under this licence is distributed on an "AS IS" basis, without warranties or conditions of any kind, either express or implied. See the licence for the specific rights and restrictions associated with it.
This is a research prototype. Liability for loss of profit, loss of production, business interruption, loss of use, loss of data and information, financing costs and other financial and consequential damage is excluded, except in cases of gross negligence, intent and personal injury.