Search Results for author:
Found 3 papers, 2 papers with code
Verifying Global Neural Network Specifications using Hyperproperties
Recent success in verifying specific global specifications shows that attaining strong guarantees for all potential data points is feasible.
A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks
Counterexample-guided repair aims at creating neural networks with mathematical safety guarantees, facilitating the application of neural networks in safety-critical domains.
SpecRepair: Counter-Example Guided Safety Repair of Deep Neural Networks
Deep neural networks (DNNs) are increasingly applied in safety-critical domains, such as self-driving cars, unmanned aircraft, and medical diagnosis.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
