What You Need to Know Before
You Start
Starts 8 June 2026 16:46
Ends 8 June 2026
00
Days
00
Hours
00
Minutes
00
Seconds
53 minutes
Optional upgrade avallable
Not Specified
Progress at your own speed
Free Video
Optional upgrade avallable
Overview
Explore how AI combines symbolic and neural methods to generate mathematical lemmas for proof assistants, bridging automated theorem proving with human mathematical reasoning.
Subjects
Computer Science
