Renjie Pi

Ce modèle améliore la détection d'objets en générant des étiquettes détaillées pour différents objets.

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

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

Une nouvelle méthode améliore la création de vidéos pour coller aux attentes des utilisateurs.