DeepAbstract: Neural Network Abstraction for Accelerating Verification

Keyphrases

• Neural Network 100%
• Network Abstraction 100%
• Fully Connected 50%
• Network Architecture 50%
• Existing Algorithms 50%
• Feedforward Neural Network 50%
• Open-ended Tasks 50%
• Verification Result 50%
• Error Bound 50%
• Abstract Network 50%
• Rectified Linear Unit (ReLU) 50%

Computer Science

• Neural Network 100%
• Network Architecture 50%
• Feed Forward Neural Networks 50%