Global ETD Search
Search theses and dissertations gathered from participating repositories worldwide. Every result links back to the library that holds it. No account is needed.
Results
Showing 1 to 6 of 6 for “"Neural Network Verification"”.
-
Order-Leading Branch and Bound for Neural Network Verification
… the correctness, robustness, and safety of deep neural networks has become a pressing imperative. Despite their ubiquitous deployment in image classification, software engineering, and bug detection, the field still lacks rigorous methodologies to verify their behavior. Although high-level …
-
SDP-CROWN: Efficient bound propagation for neural network verification with tightness of semidefinite programming
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms
-
A linear constraint driven approach to efficiently enhancing branch and bound in neural network verification
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms
-
Provably reliable machine learning systems
… learning systems, which primarily use deep neural networks (DNNs), serve as critical components in safety-critical applications and compound AI systems. Despite their ubiquity, automated formal reasoning about their reliability has lagged significantly. Neural network verification is …
-
Neural network based method for solving SMT problems
Submission original under an indefinite embargo labeled 'Open Access'. The submission was exported from vireo on 2025-10-19 without embargo terms
-
Towards Reliable AI via Efficient Verification of Binarized Neural Networks
Deep neural networks have achieved great success on many tasks and even surpass human performance in certain settings. Despite this success, neural networks are known to be vulnerable to the problem of adversarial inputs, where small and human- imperceptible changes in the input cause large and …