What You Need to Know Before
You Start

Starts 21 June 2025 22:55

Ends 21 June 2025

00 days

00 hours

00 minutes

00 seconds

AI for Mathematical Discovery - Symbolic, Neural and Neuro-Symbolic Methods

Explore how AI combines symbolic and neural methods to generate mathematical lemmas for proof assistants, bridging automated theorem proving with human mathematical reasoning.

Code Sync via YouTube

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.