Artificial Intelligence for Software Engineering: From Probable to Provable (cacm.acm.org) AI

The article argues that artificial intelligence methods for software engineering should progress from probabilistic approaches toward more rigorous, provable techniques, based on its “from probable to provable” framing.