A Robust Optimisation Perspective on Counterexample-Guided Repair of Neural Networks
Paper
•
2301.11342
•
Published
David Boetius
davidboetius
AI & ML interests
Neural Network Verification and Repair
Organizations
None yet
authored
a
paper
over 2 years ago