Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks.

Ronaldo Gomes, Jairo Ribeiro, Luiz Queiroz, Thiago Alves Rocha

Browse the full IJCNN paper archive.