On Optimizing Back-Substitution Methods for Neural Network Verification

Keyphrases

• Neural Network Verification 100%
• Back Substitution 100%
• Substitution Method 100%
• Neural Network 40%
• Propagation Method 40%
• Bounds Propagation 40%
• Tight 20%
• Tight Bounds 20%
• Verifier 20%
• Formal Guarantees 20%
• Mission-critical Systems 20%
• Verification Scheme 20%
• Deep Learning Applications 20%

Computer Science

• Neural Network 100%
• Back Substitution 100%
• Critical System 25%
• Perform Back Substitution 25%
• Deep Learning Method 25%