Mikoláš Janota

Présentation d'une méthode qui améliore la détection de bugs dans le développement de logiciels en C.

Cet article parle d'une méthode pour améliorer la résolution SMT en utilisant l'apprentissage automatique pour la sélection des quantificateurs.

Cet article examine comment les GNN améliorent la résolution des problèmes SAT.

Un nouvel outil propose des retours rapides pour les devoirs de programmation.