Crossroads The ACM Magazine for Students

Sign In

Association for Computing Machinery

Articles Tagged: Formal methods

Articles & Features

SECTION: Features

Formal methods enhance deep learning for smart cities

Rigorous approaches based on formal methods have the potential to fundamentally improve many aspects of deep learning. This article discusses the challenges and future directions of formal methods enhanced deep learning for smart cities.

By Meiyi Ma, April 2022

PDF | HTML | In the Digital Library