Boltzmann sampling for fun and profit : Comment utiliser des séries formelles pour corriger des copies !

11 avril 2022

Benoit Barbot (LACL)

Exposé en deux parties:

I Boltzmann sampling qu’est-ce que c’est? à quoi ça sert? comment ça peut être implémenté?

II Correction automatique, évolution des 5 dernières années à la FST
(syntax error I , II puis caseine) ou
comment utiliser le Boltzmann sampling pour générer des tests en programmation fonctionnelle?