Feynman Academy project / completed

Neural Network Verification via Mixed-Integer Quadratic Optimization

Feynman Quantum Academy research project undertaken by Robin Brown.