Class Central is learner-supported. When you buy through links on our site, we may earn an affiliate commission.

YouTube

How Can Machine Learning Help Formal Proving?

ACM SIGPLAN via YouTube

Start learning Write review
Coursera Ad

Get Coursera Plus for 40% off

Learn More → Datacamp Ad

Power BI Fundamentals - Create visualizations and dashboards from scratch

Learn More →

Overview

Coursera Flash Sale
40% Off Coursera Plus for 3 Months!
Grab it
Explore the intersection of artificial intelligence and formal mathematics in this conference presentation examining whether AI provers can solve open mathematical problems beyond current human capabilities. Delve into recent advances in automated theorem proving and discover connections to modern software verification frameworks for imperative programs. Learn about cutting-edge developments in machine learning applications to formal proving, with insights into how these technologies might revolutionize mathematical problem-solving and verification processes. Gain understanding of the current state and future potential of AI-assisted formal mathematics, presented by Amaury Hayat from École nationale des Ponts et Chaussées at the CPP 2026 conference.

Syllabus

[CPP'26] How can Machine Learning Help Formal Proving ?

Taught by

ACM SIGPLAN

Reviews

Start your review of How Can Machine Learning Help Formal Proving?

Start learning

Never Stop Learning.

Get personalized course recommendations, track subjects and courses with reminders, and more.

Sign up for free
Someone learning on their laptop while sitting on the floor.