Les chercheurs utilisent l'ILP pour améliorer les prédictions tactiques dans les preuves de théorèmes interactifs.
― 10 min lire
Liao Zhang
Un aperçu de l'utilisation de l'apprentissage automatique pour l'optimisation des systèmes de réécriture de termes.
― 7 min lire