Fully Automatic Neural Network Reduction for Formal Verification

Keyphrases

• Neural Network 100%
• Fully-automatic 100%
• Formal Verification 100%
• Neural Network Reduction 100%
• Automatic Neural Networks 100%
• Sound Reduction 66%
• Safety-critical Applications 33%
• Convolutional Neural Network 33%
• On the Fly 33%
• Reduction Approach 33%
• Reachability Analysis 33%
• Activation Function 33%
• Neighboring pixels 33%
• Network Size 33%
• Tanh 33%
• Reduced Network 33%
• Verifiability 33%
• Verification Time 33%
• Network Reduction 33%
• Rectified Linear Unit (ReLU) 33%
• Wide Neural Networks 33%
• Neuron number 33%
• Neural Network Verification 33%

Computer Science

• Neural Network 100%
• Formal Verification 100%
• Reachability Analysis 16%
• Convolutional Neural Network 16%
• Time Constraint 16%
• Soundness 16%
• Neighboring Pixel 16%
• Reduced Network 16%
• Critical Application 16%
• Activation Function 16%

Neuroscience

• Neural Network 100%