Épisode 2: Denis Merigoux, Vérification formelle et transformation du droit en code

Update: 2022-12-17

Description

La voix du gradient - Denis Merigoux

Alexandre Sablayrolles - Ruben Fiszel

Comments

Top Podcasts

In Channel

Épisode 5: Martin Raison, l'IA au service des médecins

2023-07-2741:01

Épisode 4: Stanislas Polu, prouver des théorèmes avec de l'IA

2023-04-1901:16:55

Épisode 3: Thomas Wolf, open-source, Big Science, modèles de langue à grande échelle

2023-03-0101:05:43

Épisode 2: Denis Merigoux, Vérification formelle et transformation du droit en code

2022-12-1701:01:33

Épisode 1: Arthur Mensch, modèle de langue à très large échelle

2022-06-1253:12

00:00

#box-pro-ellipsis-17325190503064{-webkit-line-clamp:2;}Épisode 2: Denis Merigoux, Vérification formelle et transformation du droit en code