Global optimization of objective functions represented by ReLU networks

Keyphrases

• Verifier 100%
• ReLU Networks 100%
• Global Optimization 100%
• Neural Network 60%
• Marabou 40%
• Naive Approach 40%
• Bisection 20%
• Process Optimization 20%
• Nonconvex Functions 20%
• Verification Method 20%
• Critical Context 20%
• Optimization Approach 20%
• Formal Guarantees 20%
• Adversarial Examples 20%
• Runtime Performance 20%
• Safety-critical 20%
• Input Perturbation 20%
• Verification Algorithm 20%
• Bisection Search 20%

Computer Science

• Neural Network 100%
• Objective Function 100%
• Global Optimization 100%
• Naïve Approach 66%
• Convex Function 33%
• Adversarial Example 33%
• Process Optimization 33%