# Formal Methods Boost Experimental Performance for Explainable AI

> Research article (IT Professional, 2021) · cited 11× · AI/ML

**Wikidata**: [openalex:W4200316166](https://www.wikidata.org/wiki/openalex:W4200316166)  
**Source**: https://4ort.xyz/entity/formal-methods-boost-experimental-performance-for-explainable-ai