Invited Talk - AI and the Verified Software Grand Challenge
Swarat Chaudhuri
Abstract
I will talk about the potential of AI to solve formal software verification, a longstanding grand challenge in computer science. I will also specifically discuss CSLib, a recent effort to create a Mathlib-like Lean library for CS, and its potential to aid AI tools for formal verification.
Video
Chat is not available.
Successful Page Load