Keynote 53:00

Keynote: AI for Mathematical Discovery: (...) Neuro-Symbolic Methods

Name: Keynote: AI for Mathematical Discovery: (...) Neuro-Symbolic Methods
Description: 'Keynote: AI for Mathematical Discovery: Symbolic, Neural and Neuro-Symbolic Methods'

'Keynote: AI for Mathematical Discovery: Symbolic, Neural and Neuro-Symbolic Methods'

Watch on YouTube

Speakers

Moa Johansson

Software Developer

Recorded at

Lambda Days 2025

Krakow, Poland

January 30, 2025