Just learning that verification of #NeuralNetworks is a paradise for #SemiDefiniteProgramming fans! #AAAI2023
#aaai2023 #semidefiniteprogramming #neuralnetworks