Conference FLAIM: Formal Languages, AI and Mathematics

Name: Conference FLAIM: Formal Languages, AI and Mathematics
Start: 2022-11-03T08:40:00+01:00
End: 2022-11-04T19:00:00+01:00
Location: Institut Henri Poincaré

3–4 nov. 2022

Institut Henri Poincaré

Fuseau horaire Europe/Paris

Accueil
Ordre du jour
Inscription

Contact

contact@ihp.fr

Autoformalization with Large Language Models

3 nov. 2022, 14:30

Amphithéâtre Hermite (Institut Henri Poincaré)

Amphithéâtre Hermite

Institut Henri Poincaré

11 rue Pierre et Marie Curie 75005 Paris

Tony Wu

Aucun document.

Conference FLAIM: Formal Languages, AI and Mathematics

Contact

Autoformalization with Large Language Models

Amphithéâtre Hermite

Institut Henri Poincaré

Orateur

Documents de présentation

Choisissez le fuseau horaire

Conference FLAIM: Formal Languages, AI and Mathematics

Contact

Orateur

Documents de présentation