机译:A domain-theoretic framework for robustness analysis of neural networks
Department of Computer Science, University of Oxford, Oxford, UK,Quantinuum Ltd., Oxford, UK;
School of ComputerScience, University of Nottingham Ningbo China, Ningbo, China;
Department of Computer Science, University of Oxford, Oxford, UK;
Domain theory; neural network; robustness; Lipschitz constant; Clarke-gradient;