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

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

More details can be found on the publications page.