Shizhe Diao

Une nouvelle méthode améliore les modèles de langage de code grâce à des cas de test efficaces et à l'apprentissage des préférences.

Un cadre pour améliorer la démonstration de théorèmes en utilisant Lean4 et des modèles de langage.

Une méthode pour réduire les modèles de langage sans perdre en efficacité grâce à l'élagage et à la distillation.

Cette recherche présente une nouvelle méthode pour que les LLMs résolvent des problèmes de graphes en utilisant du code.

Des chercheurs améliorent les modèles de langage pour le raisonnement mathématique complexe.