FAME: Formal Abstract Minimal Explanation for Neural Networks | Signal Canvas | ScienceToStartup