FLOC 2022: FEDERATED LOGIC CONFERENCE 2022
Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations

Authors: Jianglin Lan, Yang Zheng and Alessio Lomuscio

PapersPapers with AbstractsAuthor IndexKeyword Index

Paper Information

Title:Tight Neural Network Verification via Semidefinite Relaxations and Linear Reformulations
Authors:Jianglin Lan, Yang Zheng and Alessio Lomuscio
Proceedings:FoMLAS2022 CameraReady
Editors: Nina Narodytska, Omri Isac and Guy Katz
Keywords:Neural network, Verification, Semidefinite programming
Pages:20
Talk:Jul 31 11:00 (Session 10E)
Paper: