Carmin.tv

Mathematics
and Interactions

Please leave your feedback in order for us to improve your experience !
Hadamard Lectures 2026 – Sam Raskin – Some Aspects of the Geometric Langlands Program
4 videos

Hadamard Lectures 2026 – Sam Raskin – Some Aspects of the Geometric Langlands Program

Symmetry and Topology in Partical Physics
8 videos

Symmetry and Topology in Partical Physics

Francophone Computer Algebra Days - 2026 / JNCF - Journées nationales de calcul formel - 2026
4 videos

Francophone Computer Algebra Days - 2026 / JNCF - Journées nationales de calcul formel - 2026

Séminaire du Magistère de Mathématiques
3 videos

Séminaire du Magistère de Mathématiques

All the collections
CIMPA
CIRM
IHES
IHP
Institut Fourier
LMR
SMF
All the institutions
MALINCA Kick-off meeting

Collection MALINCA Kick-off meeting

Organizer(s) de Groote, Philippe ; Herbelin, Hugo ; Melliès, Paul-André ; Simpson, Carlos
Date(s) 01/10/2025 - 03/10/2025
linked URL https://malinca.gitlabpages.inria.fr/malinca.gitlab.io/index.html
00:00:00 / 00:00:00
13 13

Some remarks about machine learning and (un)natural proving

By Josef Urban

Information about the video

Domain(s)

Last related questions on MathOverflow

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

Ask a question on MathOverflow




Register

  • Bookmark videos
  • Add videos to see later &
    keep your browsing history
  • Comment with the scientific
    community
  • Get notification updates
    for your favorite subjects
Copyright Carmin.tv 2026
By browsing our website, you accept the use of cookies to improve your experience. Find out more about our privacy policy.
Approve
Give feedback