Xujie Si

Cet article présente une méthode efficace de comparaison d'arbres utilisant la résolution SAT.

La recherche se concentre sur l'amélioration de la vérification des réseaux de neurones avec des spécifications NAP minimales.

Un nouvel algorithme améliore le raffinement du code en utilisant les LLM de manière plus efficace.

APPL simplifie le développement avec des modèles de langage de grande taille en utilisant une syntaxe intuitive, semblable à Python.

Tyro améliore l'identification des erreurs de type pour les programmeurs, surtout les débutants.

Des chercheurs améliorent la génération d'images et de mouvements selon les instructions des utilisateurs.