in
Workshop: 2nd AI for Math Workshop @ ICML 2025

Invited Talk - AI and the Verified Software Grand Challenge

Swarat Chaudhuri

2025
in
Workshop: 2nd AI for Math Workshop @ ICML 2025

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.