Machine Learning
Formal Verification of Neural Networks with Quantum Computers
Neural networks are not robust. The development of reliable predictors requires systematic methods to both assess their quality and to gain confidence in their correctness. Quantum computing can help here.