Artificial Intelligence for Software Engineering: From Probable to Provable(cacm.acm.org)
3 pointsby gregnavis6 hours ago1 comment