Abstract

Recent developments in generative AI (GenAI) have opened the possibility to revolutionise the scalability of the program verification process. In this extended abstract, we discuss two promising interconnected directions which we have recently started to investigate: AI-driven specification inference and AI-driven proof search.