https://cognaptus.com/tags/formal-xai/ Recent content in Formal XAI on Cognaptus Hugo -- 0.145.0 en-us Fri, 13 Mar 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-03-13-fame-or-fortune-how-formal-explanations-finally-scale-to-real-neural-networks/ Fri, 13 Mar 2026 00:00:00 +0000 https://cognaptus.com/blog/2026-03-13-fame-or-fortune-how-formal-explanations-finally-scale-to-real-neural-networks/ FAME shows how formal neural-network explanations can scale by using abstract verification to prune the search space before exact refinement.