# A Comprehensive Overview of Formal Methods and Deep Learning for Verification and Optimization

> Research article (2024 International Conference on Decision Aid Sciences and Applications (DASA), 2024) · cited 12× · AI/ML

**Wikidata**: [openalex:W4406522648](https://www.wikidata.org/wiki/openalex:W4406522648)  
**Source**: https://4ort.xyz/entity/a-comprehensive-overview-of-formal-methods-and-deep-learning-for-verification-and-optimization