Formal Local Implication Between Two Neural Networks.

Anahita Baninajjar, Ahmed Rezine, Amir Aminifar

Browse the full ECAI paper archive.