Affinitree: A Compositional Framework for Formal Analysis and Explanation of Deep Neural Networks.

Maximilian Schlter, Bernhard Steffen

Browse the full TAP paper archive.