Hacker News new | ask | show | jobs
Artificial Intelligence for Software Engineering: From Probable to Provable (cacm.acm.org)
3 points by yarapavan 17 days ago