Jin Peng Zhou

Présentation de REFACTOR, un système pour l'extraction automatique de théorèmes à partir de preuves mathématiques.

La méthode DTV améliore la fiabilité des réponses des grands modèles de langage dans les problèmes de maths.

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

Le modèle QuAN analyse efficacement des systèmes quantiques complexes pour une meilleure compréhension.

Gemma 2 offre de hautes performances dans un format compact pour les tâches linguistiques.

RAG améliore les modèles de langue mais fait face à des défis à cause des attaques de désinformation.