Rui Pan

Explorer les phases avant l'inflation dans l'évolution de l'univers.

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

Cet article examine l'efficacité d'Adagrad et ses avantages par rapport aux méthodes standard dans l'entraînement par lots importants.

TAGCOS optimise le réglage des instructions en choisissant des sous-ensembles de données efficaces pour les modèles de langage.

Présentation de CollaMamba, un modèle pour améliorer la compréhension dans les domaines technologiques.

Présentation de l'approximation par point de grille pour gérer efficacement de gros ensembles de données.

Un nouvel assistant IA pour l'astronomie améliore la recherche et l'éducation.

Explorer les avantages et les défis des modèles hybrides en traitement du langage.

Un nouveau système fusionne des réponses rapides avec une haute qualité pour de meilleures réponses d'IA.

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