AI Safety;SAT-encodable Neural Network;Formal Verification;Complete Verification Robustness;Interpretability;Logic Rules;XAI
Truth Table Deep Convolutional Neural Network, A New SAT-Encodable Architecture - Application To Complete Robustness