Evalutation d'Attaques par Canaux Cachés : Template VS Machine Learning
De Poussier Romain
Some remarks about machine learning and (un)natural proving
De Josef Urban
Towards autoformalization of textbook mathematics with natural proof checking
De De Lon Adrian