Neural Networks, Secure by Construction - An Exploration of Refinement Types
Abstract elided by the publisher.
Related papers
- Scaling Abstraction Refinement for Program Analyses in Datalog using Graph Neural Networks OOPSLA 2024
- An Abstraction-Refinement Approach to Verification of Artificial Neural Networks CAV 2010
- ARENA: Enhancing Abstract Refinement for Neural Network Verification VMCAI 2023
- ANT-ACE: An FHE Compiler Framework for Automating Neural Network Inference CGO 2025
- YFlows: Systematic Dataflow Exploration and Code Generation for Efficient Neural Network Inference using SIMD Architectures on CPUs CC 2024
- AGNES: Abstraction-Guided Framework for Deep Neural Networks Security VMCAI 2024
- Improving Neural Network Verification through Spurious Region Guided Refinement TACAS 2021
- Mini-Batch Robustness Verification of Deep Neural Networks OOPSLA 2025