Artificial Intelligence for Software Engineering: From Probable to Provable · HackerTrans