AI2 – An Efficient System for Verifying Safety Critical Neural Networks #1 Post by mmsme » Tue, Mar 20, 2018, 5:55 PM UTC AI2 – An Efficient System for Verifying Safety Critical Neural Networksai2.ethz.ch