CGXplain: Rule-Based Deep Neural Network Explanations Using Dual Linear Programs.
Konstantin HemkerZohreh ShamsMateja JamnikPublished in: CoRR (2023)
Keyphrases
- linear program
- neural network
- primal dual
- linear programming
- column generation
- semi infinite
- interior point methods
- stochastic programming
- optimal solution
- linear programming problems
- simplex method
- multistage stochastic
- np hard
- simplex algorithm
- mixed integer
- expert systems
- objective function
- duality gap
- nelder mead
- genetic algorithm
- mixed integer linear program
- integer program
- extreme points
- semidefinite programming
- dual variables
- interior point
- quadratic program
- dynamic programming
- linear inequalities
- dual formulation
- special case
- learning algorithm
- low discrepancy sequences