PV4 ⊧ Reluplexproduces a satisfiability result for a formulaSMT solver for theory of linear real arithmetic with ReLU constraints. ReLU (Rectified Linear Unit), are a specific kind of activation function used in deep neural networks (DNNs).
- Neural networks
- Deep neural networks (DNNs)
- Activation functions
- SMT solving
Type of toolSMT solver
UNSAT indicates that a property holds,
SAT indicates that the property does not hold.