Some remarks about machine learning and (un)natural proving | Vidéo | Carmin.tv

00:00:00 / 00:00:00

Some remarks about machine learning and (un)natural proving

Appears in collection : MALINCA Kick-off meeting

Information about the video

Date of recording 03/10/2025
Date of publication 15/12/2025
Institution IHP
Licence CC BY NC ND
Language English
Audience Researchers, Graduate Students
Director(s) Mandarine Audiovisuel
Format MP4
Venue IHP - Hermite Amphitheater

Domain(s)

Artificial Intelligence

Last related questions on MathOverflow

You have to connect your Carmin.tv account with mathoverflow to add question

Ask a question on MathOverflow

Copyright Carmin.tv 2026

Give feedback