arXiv Machine Learning
$(\text{DNN})^2$: Doubly Non-Negative Relaxations for Deep Neural Networks
Read the original on arXiv Machine Learning →The Flow has not summarised this story yet — read it at arXiv Machine Learning.
Related stories
Hugging Face Trending Papers
4d ago
$(\text{DNN})^2$: Doubly Non-Negative Relaxations for Deep Neural Networks
Existing linear program (LP) and semidefinite program (SDP) relaxations for rectified linear unit (ReLU) neural network (NN) verification yield overly-conservative safety guarantees due to significant...
arXiv Machine Learning
Jul 1
ShardNet: Training Neural Controllers with Hard, Non-Convex Constraints
arXiv:2606. 30935v1 Announce Type: cross Abstract: While neural network control policies are powerful, their deployment on safety critical systems depends on ensuring that they obey strict constraints.
arXiv AI
Jun 3
Neural Network Verification using Partial Multi-Neuron Relaxation
arXiv:2605. 30155v3 Announce Type: replace-cross Abstract: The increasing integration of deep neural networks in critical systems has spawned a theoretical and practical interest in formally guaranteeing safety properties about their behavior.
arXiv AI
Jun 24
Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications
arXiv:2606. 23858v1 Announce Type: cross Abstract: A primary challenge in AI safety is the existence of adversarial examples -- slightly distorted inputs that cause a neural network (NN) to misclassify.
arXiv Machine Learning
Aug 14
Training Under Challenge: Executable Certificates and Challenge-Closed Optimality for Neural Networks
arXiv:2608. 12655v1 Announce Type: new Abstract: A flat training curve does not reveal whether a neural network has reached a global optimum, is locally trapped, is representation-limited, or is mismatched to its trainer.
arXiv Machine Learning
Aug 11
Input convex neural networks as surrogates in mathematical optimisation
arXiv:2608. 09707v1 Announce Type: cross Abstract: Embedding trained neural networks as surrogates within optimisation problems is an established practice in operations research.