Quantum Interval Bound Propagation for Certified Training of Quantum Neural Networks — Emma Andrews, Nahyeon Kim, Prabhat Mishra | Kutubxona