Keyphrases
Neural Network
71%
Verifier
50%
Deep Neural Network
45%
Polyhedron
31%
Robustness Certification
31%
Abstract Domains
24%
Adversarial Attack
22%
Numerical Abstract Domains
19%
Neural Network Verification
18%
Static Analyzer
18%
Static Analysis
17%
Transformer
15%
Geometric Transformation
15%
Autonomous Driving
14%
Rectified Linear Unit (ReLU)
14%
Automatic Differentiation
13%
Numerical Program Analysis
13%
Polyhedral
13%
Large-scale Networks
13%
Geometrical Robustness
13%
Popular
12%
Adversarial Perturbation
12%
Under-approximation
11%
Piecewise Linear Activation Functions
10%
Abstract Interpretation
10%
Feedforward Neural Network
10%
Convolutional Neural Network
10%
Medical Diagnosis
10%
Verification Cost
10%
Mixed Integer Linear Programming
10%
Tanh
9%
Randomized Smoothing
8%
Abstract Transformer
8%
Zonotopes
8%
Order of Magnitude
8%
Universal Adversarial Perturbations
7%
Pruning
7%
Input Perturbation
7%
Numerical Domains
7%
Abstraction Refinement
7%
Artificial Intelligence
6%
Diverse Applications
6%
Clarke Jacobian
6%
Text Generation
6%
Graph Neural Network
6%
Network Verification
6%
Approximate Neural Networks
6%
Building Trust
6%
Dominant Technology
6%
Incremental Verification
6%
Computer Science
Neural Network
100%
Deep Neural Network
41%
Static Program Analysis
35%
Adversarial Machine Learning
24%
Convolutional Neural Network
24%
Experimental Result
23%
Numerical Domain
22%
Approximation (Algorithm)
20%
Deep Neural Network
20%
Activation Function
18%
Geometric Transformation
15%
Device Driver
15%
Time Complexity
13%
Domain Analysis
13%
Software Verification
13%
Space Complexity
13%
Buffer Overflow
13%
Lines of Code
13%
Including Linux
13%
Program Analysis
13%
Attack Scenario
13%
Case Study
10%
Mixed-Integer Linear Programming
10%
Feedforward Neural Network
10%
piecewise linear
10%
Abstract Interpretation
9%
World Application
9%
Autonomous Driving
9%
Machine Learning
8%
Chain Rule
6%
Financial Model
6%
Reinforcement Learning
6%
Point Cloud
6%
Adversarial Example
6%
Graph Neural Network
6%
Illumination Variation
6%
General Concept
6%
Organizational Level
6%
Recurrent Neural Network
6%
Initial Condition
6%
Academic Institution
6%
Redundant Constraint
6%
Domain Specific Learning
6%
Computation Rule
6%
Precision Performance
6%
Local Optimization
6%
Nonlinear Function
6%
Learning Approach
6%
MIMO Systems
6%
Manual Process
6%