On applying residual reasoning within neural network verification

Keyphrases

• Verifier 100%
• Neural Network Verification 100%
• Small Networks 66%
• Search Space 33%
• Large-scale Networks 33%
• Verification Method 33%
• Complex Networks 16%
• Neural Network 16%
• Liveness 16%
• Abstraction Refinement 16%
• Scalability Issues 16%
• Marabou 16%
• Abstract Network 16%
• Mission-critical Systems 16%
• Network Abstraction 16%

Computer Science

• Neural Network 100%
• Search Space 66%
• Liveness 33%
• Critical System 33%
• Refinement Step 33%
• Capability Refinement 33%