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

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

All the collection videos

01:12:01

published on December 15, 2025

How can Machine Learning Help Mathematicians?

By Amaury Hayat

58:14

published on December 15, 2025

Towards autoformalization of textbook mathematics with natural proof checking

By De Lon Adrian

01:03:57

published on December 15, 2025

Introduction to Grammatical Framework

By Inari Listenmaa

58:23

published on December 15, 2025

Proof Assistant Assistants: From teaching Rocq to LLM-assisted proofs

By Guillaume Baudart , Emilio Jesús Gallego Arias

01:02:14

published on December 15, 2025

Waterproof: transforming a proof assistant into an educational tool

By Jim Portegies

01:06:05

published on December 15, 2025

Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence

By Cyril Cohen

01:01:18

published on December 15, 2025

Some remarks about machine learning and (un)natural proving

By Josef Urban

Copyright Carmin.tv 2025

Give feedback