Hanna Jiamei Zhang

New $(\text{DNN})^2$ method enhances neural network verification for safety

Researchers have developed a new method called $(\text{DNN})^2$ that improves the verification of deep neural networks (DNNs) for safety-critical applications. This approach uses doubly non-negative relaxations, which a…