MALINCA Kick-off meeting

Collection MALINCA Kick-off meeting

Organisateur(s) de Groote, Philippe ; Herbelin, Hugo ; Melliès, Paul-André ; Simpson, Carlos

Date(s) 01/10/2025 - 03/10/2025

URL associée 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

Informations sur la vidéo

Date de captation 03/10/2025
Date de publication 15/12/2025
Institut IHP
Licence CC BY NC ND
Langue Anglais
Audience Chercheurs, Doctorants
Réalisateur(s) Mandarine Audiovisuel
Format MP4
Lieu IHP - Hermite Amphitheater

Domaine(s)

Intelligence artificielle

Dernières questions liées sur MathOverflow

Pour poser une question, votre compte Carmin.tv doit être connecté à mathoverflow

Poser une question sur MathOverflow

Toutes les vidéos de la collection

01:12:01

publiée le 15 décembre 2025

How can Machine Learning Help Mathematicians?

De Amaury Hayat

58:14

publiée le 15 décembre 2025

Towards autoformalization of textbook mathematics with natural proof checking

De De Lon Adrian

01:03:57

publiée le 15 décembre 2025

Introduction to Grammatical Framework

De Inari Listenmaa

58:23

publiée le 15 décembre 2025

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

De Guillaume Baudart , Emilio Jesús Gallego Arias

01:02:14

publiée le 15 décembre 2025

Waterproof: transforming a proof assistant into an educational tool

De Jim Portegies

01:06:05

publiée le 15 décembre 2025

Trocq: Proof Transfer for Free, Beyond Equivalence and Univalence

De Cyril Cohen

01:01:18

publiée le 15 décembre 2025

Some remarks about machine learning and (un)natural proving

De Josef Urban

Copyright Carmin.tv 2025

Donner son avis