Zurich-based LatticeFlow raises €2.3 million to help companies build and deploy reliable and …

… and his team introduced ERAN, a system that enabled, for the first time, the verification of large deep learning models with millions of parameters.

Link to Full Article: Read Here