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