Our group has had a paper accepted at the 36th AAAI Conference on Artificial Intelligence (AAAI22):

  • Jianglin Lan, Alessio Lomuscio, Yang Zheng. Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations.

More details can be found on the publications page.