What You Need to Know Before
You Start
Starts 4 June 2026 09:47
Ends 4 June 2026
00
Days
00
Hours
00
Minutes
00
Seconds
1 hour 1 minute
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
Overview
Explore machine learning applications in automated theorem proving and discover how AI transforms mathematical proof generation and verification techniques.
Subjects
Computer Science
