Maison Périphériques technologiques IA Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

Nov 18, 2023 pm 03:34 PM
模型 Quantifier

La compression des grands modèles de langage (LLM) a toujours attiré beaucoup d'attention, et la quantification post-formation (Post-training Quantization) est l'un des algorithmes couramment utilisés. Cependant, la plupart des méthodes PTQ existantes sont des quantifications entières, et lorsque le nombre. de bits est inférieur à 8, la précision du modèle diminuera considérablement après la quantification. Par rapport à la quantification entière (INT), la quantification à virgule flottante (FP) peut mieux représenter les distributions à longue traîne, c'est pourquoi de plus en plus de plates-formes matérielles commencent à prendre en charge la quantification FP. Cet article donne une solution à la quantification FP de grands modèles. Article publié à l'EMNLP 2023.

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

  • Adresse papier : https://arxiv.org/abs/2310.16836
  • Adresse code : https://github.com/nbasyl/LLM-FP4

Pour comprendre cet article, vous devez d'abord avoir des connaissances de base sur le format à virgule flottante et la quantification à virgule flottante. Tout d'abord, le nombre à virgule flottante peut être exprimé par la formule suivante :

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

s représente le bit de signe), m représente les bits de mantisse et e représente les bits d'exposant. p est une valeur comprise entre 0 et 2 ^ e - 1, utilisée pour indiquer dans quel intervalle exponentiel le nombre actuel doit être divisé, d prend une valeur de 0 ou 1, utilisée pour indiquer le i-ème bit de mantisse. b est le biais, une valeur entière utilisée pour ajuster l'intervalle des exposants.

Dans la section suivante, nous expliquerons comment fonctionne la quantification en virgule flottante. Tout d’abord, les valeurs d’entrée doivent passer par une étape appelée « mise à l’échelle et découpage ». Cette étape coupe d'abord la valeur d'entrée à la plage maximale que les nombres à virgule flottante peuvent représenter (± Qmax). La formule de calcul spécifique est la suivante :

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.


Vous pouvez voir que cela est similaire à la quantification entière, FP. la quantification ajoutera également un facteur de mise à l'échelle de précision complète (facteur de mise à l'échelle) pour mettre à l'échelle l'entrée à l'intervalle approprié. Lors du calcul de la multiplication matricielle, le facteur d'échelle est calculé séparément de la multiplication matricielle à bits faibles, de sorte qu'il n'entraîne pas de surcharge importante. Après avoir incorporé ce facteur d'échelle de pleine précision, différents tenseurs quantifiés peuvent être écrêtés en conséquence sur différents intervalles de valeurs maximales et minimales. En utilisation réelle, l'intervalle de quantification requis sera déterminé en fonction de la plage de valeurs du tenseur d'entrée, puis le biais correspondant sera dérivé à l'aide de la formule (4). Notez que le biais de l'équation (4) peut être utilisé comme facteur d'échelle pour les valeurs réelles, voir l'équation (2)(3).

L'étape suivante de la quantification à virgule flottante consiste à attribuer les valeurs de l'intervalle de quantification déterminé à l'intervalle de quantification correspondant. Ce processus est appelé comparaison et quantification :

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

La figure ci-dessus illustre intuitivement. Dans le processus de quantification, la valeur d'entrée actuelle est quantifiée en différents intervalles de quantification après avoir été comparée à la formule 5.

Après avoir obtenu l'activation et le poids quantifiés, le facteur d'échelle ici est d'abord calculé comme mentionné ci-dessus, et la multiplication matricielle efficace suivante est obtenue pour compléter l'accélération de la multiplication matricielle :

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

Ensuite, le L'article souligne que la précision de la quantification FP est étroitement liée au réglage des bits d'exposant et à l'intervalle de quantification.

Dans des articles précédents, il a été vérifié qu'il existe d'énormes différences dans les erreurs de quantification entre les différents formats FP (c'est-à-dire les paramètres de bit d'exposant/bit de mantisse des nombres à virgule flottante). Ce n'est que lorsqu'un format FP approprié est choisi que la quantification FP peut mieux représenter les distributions à longue traîne que la quantification INT

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

Cet article propose une solution, qui consiste à utiliser un algorithme de quantification à virgule flottante basé sur la recherche pour déterminer les paramètres de bits d'exposant et de mantisse les plus appropriés des nombres à virgule flottante et l'intervalle de quantification correspondant

de manière complète. De plus, dans différents types de modèles Transformer (Bert, LLaMA, ViT), il existe un autre phénomène qui affecte sérieusement la difficulté de quantification : c'est-à-dire que la différence d'ordre de grandeur entre les différents canaux dans l'activation du modèle est très grande, et le même canal L'ordre de grandeur est très cohérent. Les études précédentes LLM.int8 et SmoothQuant ont également trouvé des phénomènes similaires, mais cet article souligne que ce phénomène existe non seulement dans LLM, mais a également trouvé des distributions d'activation similaires dans d'autres modèles Transformer (illustrés ci-dessous, LLaMA, BERT et DeIT-S) Phénomène :

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

Comme vous pouvez le voir sur la figure, ces canaux anormalement grands sont beaucoup plus grands que les canaux restants, donc dans le processus de quantification du tenseur d'activation, la précision de la quantification sera largement déterminée par ces valeurs aberrantes. supprimant l'intervalle de quantification des autres valeurs de canal, réduisant finalement l'impact global sur la précision de quantification. Cela entraînera l'effondrement du résultat final de la quantification, en particulier lorsque le nombre de bits chute à un certain niveau. Il convient de noter que seule la quantification par tenseur et par jeton peut extraire le facteur d'échelle lors d'une multipilication matricielle efficace, tandis que la quantification par canal ne prend pas en charge une multipilication matricielle efficace, comme le montre la figure ci-dessous.

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

Afin de résoudre le problème et de maintenir une multiplication matricielle efficace en même temps, cet article utilise une petite quantité de données de correction pour pré-calculer la valeur maximale de chaque canal activé et calculer la mise à l'échelle. facteur. Le facteur d'échelle est ensuite divisé en un nombre réel pour chaque tenseur multiplié par une puissance de 2 pour chaque canal. Cette puissance de 2 peut être représentée par l'écart exponentiel en FP. L'ensemble du processus peut être exprimé par la formule suivante :

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

De plus, une fois l'étalonnage terminé, le biais d'exposant par canal ne changera plus, il peut donc être pré-calculé avec la quantification du poids. , intégrez ce biais d'exposant par canal dans les poids quantifiés pour améliorer la précision de la quantification. Le processus complet est le suivant :

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

Après le pré-offset, on peut observer que la position du décalage pleine précision de chaque canal dans la fonction d'activation d'origine devient un facteur d'échelle réel basé sur le tenseur, Dans le même temps, le biais entier décomposé est déplacé vers la position du biais entier d'origine dans le poids. Pour plus de détails, voir la formule 4

Par conséquent, cette méthode (biais d'exposant pré-décalé) peut obtenir de meilleurs résultats tout en. en conservant le principe de multiplication matricielle efficace. Pour améliorer la précision de la quantification, l'affichage intuitif de la méthode est présenté dans la figure ci-dessous :

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

Enfin, cet article présente la méthode de quantification en virgule flottante (FPQ). , BERT et ViTs, la quantification 4 bits a obtenu bien plus que le résultat SOTA. En particulier, cet article montre que le modèle LLaMA-13B quantifié sur 4 bits atteint un score moyen de 63,1 sur la tâche d'inférence sans tir, ce qui est seulement 5,8 points inférieur au modèle de précision complète et a un degré de lissage plus élevé que le précédent. Méthode SOTA 12.7, qui est actuellement l'un des rares schémas de quantification 4 bits réalisables connus.

Le premier LLM à prendre en charge la quantification à virgule flottante 4 bits est ici, résolvant les problèmes de déploiement de LLaMA, BERT, etc.

Ce qui précède est le contenu détaillé de. pour plus d'informations, suivez d'autres articles connexes sur le site Web de PHP en chinois!

Déclaration de ce site Web
Le contenu de cet article est volontairement contribué par les internautes et les droits d'auteur appartiennent à l'auteur original. Ce site n'assume aucune responsabilité légale correspondante. Si vous trouvez un contenu suspecté de plagiat ou de contrefaçon, veuillez contacter admin@php.cn

Outils d'IA chauds

Undresser.AI Undress

Undresser.AI Undress

Application basée sur l'IA pour créer des photos de nu réalistes

AI Clothes Remover

AI Clothes Remover

Outil d'IA en ligne pour supprimer les vêtements des photos.

Undress AI Tool

Undress AI Tool

Images de déshabillage gratuites

Clothoff.io

Clothoff.io

Dissolvant de vêtements AI

AI Hentai Generator

AI Hentai Generator

Générez AI Hentai gratuitement.

Article chaud

R.E.P.O. Crystals d'énergie expliqués et ce qu'ils font (cristal jaune)
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Meilleurs paramètres graphiques
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
R.E.P.O. Comment réparer l'audio si vous n'entendez personne
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌
WWE 2K25: Comment déverrouiller tout dans Myrise
3 Il y a quelques semaines By 尊渡假赌尊渡假赌尊渡假赌

Outils chauds

Bloc-notes++7.3.1

Bloc-notes++7.3.1

Éditeur de code facile à utiliser et gratuit

SublimeText3 version chinoise

SublimeText3 version chinoise

Version chinoise, très simple à utiliser

Envoyer Studio 13.0.1

Envoyer Studio 13.0.1

Puissant environnement de développement intégré PHP

Dreamweaver CS6

Dreamweaver CS6

Outils de développement Web visuel

SublimeText3 version Mac

SublimeText3 version Mac

Logiciel d'édition de code au niveau de Dieu (SublimeText3)

Le modèle MoE open source le plus puissant au monde est ici, avec des capacités chinoises comparables à celles du GPT-4, et le prix ne représente que près d'un pour cent de celui du GPT-4-Turbo. Le modèle MoE open source le plus puissant au monde est ici, avec des capacités chinoises comparables à celles du GPT-4, et le prix ne représente que près d'un pour cent de celui du GPT-4-Turbo. May 07, 2024 pm 04:13 PM

Imaginez un modèle d'intelligence artificielle qui non seulement a la capacité de surpasser l'informatique traditionnelle, mais qui permet également d'obtenir des performances plus efficaces à moindre coût. Ce n'est pas de la science-fiction, DeepSeek-V2[1], le modèle MoE open source le plus puissant au monde est ici. DeepSeek-V2 est un puissant mélange de modèle de langage d'experts (MoE) présentant les caractéristiques d'une formation économique et d'une inférence efficace. Il est constitué de 236B paramètres, dont 21B servent à activer chaque marqueur. Par rapport à DeepSeek67B, DeepSeek-V2 offre des performances plus élevées, tout en économisant 42,5 % des coûts de formation, en réduisant le cache KV de 93,3 % et en augmentant le débit de génération maximal à 5,76 fois. DeepSeek est une entreprise explorant l'intelligence artificielle générale

Bonjour, Atlas électrique ! Le robot Boston Dynamics revient à la vie, des mouvements étranges à 180 degrés effraient Musk Bonjour, Atlas électrique ! Le robot Boston Dynamics revient à la vie, des mouvements étranges à 180 degrés effraient Musk Apr 18, 2024 pm 07:58 PM

Boston Dynamics Atlas entre officiellement dans l’ère des robots électriques ! Hier, l'Atlas hydraulique s'est retiré "en larmes" de la scène de l'histoire. Aujourd'hui, Boston Dynamics a annoncé que l'Atlas électrique était au travail. Il semble que dans le domaine des robots humanoïdes commerciaux, Boston Dynamics soit déterminé à concurrencer Tesla. Après la sortie de la nouvelle vidéo, elle a déjà été visionnée par plus d’un million de personnes en seulement dix heures. Les personnes âgées partent et de nouveaux rôles apparaissent. C'est une nécessité historique. Il ne fait aucun doute que cette année est l’année explosive des robots humanoïdes. Les internautes ont commenté : Les progrès des robots ont fait ressembler la cérémonie d'ouverture de cette année à des êtres humains, et le degré de liberté est bien plus grand que celui des humains. Mais n'est-ce vraiment pas un film d'horreur ? Au début de la vidéo, Atlas est allongé calmement sur le sol, apparemment sur le dos. Ce qui suit est à couper le souffle

KAN, qui remplace MLP, a été étendu à la convolution par des projets open source KAN, qui remplace MLP, a été étendu à la convolution par des projets open source Jun 01, 2024 pm 10:03 PM

Plus tôt ce mois-ci, des chercheurs du MIT et d'autres institutions ont proposé une alternative très prometteuse au MLP – KAN. KAN surpasse MLP en termes de précision et d’interprétabilité. Et il peut surpasser le MLP fonctionnant avec un plus grand nombre de paramètres avec un très petit nombre de paramètres. Par exemple, les auteurs ont déclaré avoir utilisé KAN pour reproduire les résultats de DeepMind avec un réseau plus petit et un degré d'automatisation plus élevé. Plus précisément, le MLP de DeepMind compte environ 300 000 paramètres, tandis que le KAN n'en compte qu'environ 200. KAN a une base mathématique solide comme MLP est basé sur le théorème d'approximation universelle, tandis que KAN est basé sur le théorème de représentation de Kolmogorov-Arnold. Comme le montre la figure ci-dessous, KAN a

L'IA bouleverse la recherche mathématique ! Le lauréat de la médaille Fields et mathématicien sino-américain a dirigé 11 articles les mieux classés | Aimé par Terence Tao L'IA bouleverse la recherche mathématique ! Le lauréat de la médaille Fields et mathématicien sino-américain a dirigé 11 articles les mieux classés | Aimé par Terence Tao Apr 09, 2024 am 11:52 AM

L’IA change effectivement les mathématiques. Récemment, Tao Zhexuan, qui a prêté une attention particulière à cette question, a transmis le dernier numéro du « Bulletin de l'American Mathematical Society » (Bulletin de l'American Mathematical Society). En se concentrant sur le thème « Les machines changeront-elles les mathématiques ? », de nombreux mathématiciens ont exprimé leurs opinions. L'ensemble du processus a été plein d'étincelles, intense et passionnant. L'auteur dispose d'une équipe solide, comprenant Akshay Venkatesh, lauréat de la médaille Fields, le mathématicien chinois Zheng Lejun, l'informaticien de l'Université de New York Ernest Davis et de nombreux autres universitaires bien connus du secteur. Le monde de l’IA a radicalement changé. Vous savez, bon nombre de ces articles ont été soumis il y a un an.

Google est ravi : les performances de JAX surpassent Pytorch et TensorFlow ! Cela pourrait devenir le choix le plus rapide pour la formation à l'inférence GPU Google est ravi : les performances de JAX surpassent Pytorch et TensorFlow ! Cela pourrait devenir le choix le plus rapide pour la formation à l'inférence GPU Apr 01, 2024 pm 07:46 PM

Les performances de JAX, promu par Google, ont dépassé celles de Pytorch et TensorFlow lors de récents tests de référence, se classant au premier rang sur 7 indicateurs. Et le test n’a pas été fait sur le TPU présentant les meilleures performances JAX. Bien que parmi les développeurs, Pytorch soit toujours plus populaire que Tensorflow. Mais à l’avenir, des modèles plus volumineux seront peut-être formés et exécutés sur la base de la plate-forme JAX. Modèles Récemment, l'équipe Keras a comparé trois backends (TensorFlow, JAX, PyTorch) avec l'implémentation native de PyTorch et Keras2 avec TensorFlow. Premièrement, ils sélectionnent un ensemble de

Les robots Tesla travaillent dans les usines, Musk : Le degré de liberté des mains atteindra 22 cette année ! Les robots Tesla travaillent dans les usines, Musk : Le degré de liberté des mains atteindra 22 cette année ! May 06, 2024 pm 04:13 PM

La dernière vidéo du robot Optimus de Tesla est sortie, et il peut déjà fonctionner en usine. À vitesse normale, il trie les batteries (les batteries 4680 de Tesla) comme ceci : Le responsable a également publié à quoi cela ressemble à une vitesse 20 fois supérieure - sur un petit "poste de travail", en sélectionnant et en sélectionnant et en sélectionnant : Cette fois, il est publié L'un des points forts de la vidéo est qu'Optimus réalise ce travail en usine, de manière totalement autonome, sans intervention humaine tout au long du processus. Et du point de vue d'Optimus, il peut également récupérer et placer la batterie tordue, en se concentrant sur la correction automatique des erreurs : concernant la main d'Optimus, le scientifique de NVIDIA Jim Fan a donné une évaluation élevée : la main d'Optimus est l'un des robots à cinq doigts du monde. le plus adroit. Ses mains ne sont pas seulement tactiles

DualBEV : dépassant largement BEVFormer et BEVDet4D, ouvrez le livre ! DualBEV : dépassant largement BEVFormer et BEVDet4D, ouvrez le livre ! Mar 21, 2024 pm 05:21 PM

Cet article explore le problème de la détection précise d'objets sous différents angles de vue (tels que la perspective et la vue à vol d'oiseau) dans la conduite autonome, en particulier comment transformer efficacement les caractéristiques de l'espace en perspective (PV) en vue à vol d'oiseau (BEV). implémenté via le module Visual Transformation (VT). Les méthodes existantes sont globalement divisées en deux stratégies : la conversion 2D en 3D et la conversion 3D en 2D. Les méthodes 2D vers 3D améliorent les caractéristiques 2D denses en prédisant les probabilités de profondeur, mais l'incertitude inhérente aux prévisions de profondeur, en particulier dans les régions éloignées, peut introduire des inexactitudes. Alors que les méthodes 3D vers 2D utilisent généralement des requêtes 3D pour échantillonner des fonctionnalités 2D et apprendre les poids d'attention de la correspondance entre les fonctionnalités 3D et 2D via un transformateur, ce qui augmente le temps de calcul et de déploiement.

FisheyeDetNet : le premier algorithme de détection de cible basé sur une caméra fisheye FisheyeDetNet : le premier algorithme de détection de cible basé sur une caméra fisheye Apr 26, 2024 am 11:37 AM

La détection de cibles est un problème relativement mature dans les systèmes de conduite autonome, parmi lesquels la détection des piétons est l'un des premiers algorithmes à être déployés. Des recherches très complètes ont été menées dans la plupart des articles. Cependant, la perception de la distance à l’aide de caméras fisheye pour une vue panoramique est relativement moins étudiée. En raison de la distorsion radiale importante, la représentation standard du cadre de délimitation est difficile à mettre en œuvre dans les caméras fisheye. Pour alléger la description ci-dessus, nous explorons les conceptions étendues de boîtes englobantes, d'ellipses et de polygones généraux dans des représentations polaires/angulaires et définissons une métrique de segmentation d'instance mIOU pour analyser ces représentations. Le modèle fisheyeDetNet proposé avec une forme polygonale surpasse les autres modèles et atteint simultanément 49,5 % de mAP sur l'ensemble de données de la caméra fisheye Valeo pour la conduite autonome.

See all articles