ChatGLM-Math

Améliore les capacités de résolution de problèmes mathématiques des grands modèles de langage.

Produit OrdinaireProductivitéRésolution de problèmes mathématiquesGrands modèles de langage

ChatGLM-Math est un modèle de résolution de problèmes mathématiques personnalisé basé sur un processus d'autocritique, visant à améliorer les capacités des grands modèles de langage (LLM) en matière de résolution de problèmes mathématiques. Ce modèle entraîne un modèle Math-Critique générique pour fournir des signaux de rétroaction, et utilise l'échantillonnage par rejet et l'optimisation par préférence directe pour améliorer les capacités de résolution de problèmes mathématiques des LLM. Il a été expérimenté sur des ensembles de données académiques et sur le nouvel ensemble de données MathUserEval, plus challengeant, démontrant une amélioration significative de la résolution de problèmes mathématiques tout en préservant les capacités linguistiques.

Best AI Websites & Tools

ChatGLM-Math

ChatGLM-Math Dernière situation du trafic

ChatGLM-Math Tendance des visites

ChatGLM-Math Distribution géographique des visites

ChatGLM-Math Sources de trafic

ChatGLM-Math Alternatives

ChatGLM-Math — Améliore les capacités de résolution de problèmes mathématiques des grands modèles de langage.

NotaGen — NotaGen est un modèle de génération de musique symbolique, entraîné selon le paradigme des grands modèles de langage, axé sur la génération de partitions classiques de haute qualité.

AoT — Atom of Thoughts (AoT) est un framework permettant d'améliorer les performances d'inférence des grands modèles de langage.

Level-Navi Agent-Recherche — Level-Navi Agent est un framework prêt à l'emploi, sans nécessiter d'entraînement, qui utilise les grands modèles de langage pour une compréhension approfondie des requêtes et une recherche précise.

SWE-RL — Amélioration des capacités de raisonnement des grands modèles de langage dans l'évolution des logiciels open source grâce à l'apprentissage par renforcement

Coding-Tutor — Exploration du potentiel des grands modèles de langage comme outils d'aide à la programmation, et proposition d'un workflow Trace-and-Verify.

MoBA — MoBA est un mécanisme d'attention par blocs mixtes pour les contextes de longs textes, visant à améliorer l'efficacité des grands modèles de langage.

GenColor AI — GenColor AI est un générateur de croquis IA en ligne gratuit qui permet de convertir des photos ou des descriptions textuelles en croquis.

Kimi k1.5 — Kimi k1.5 est un modèle linguistique multimodal étendu par apprentissage par renforcement, axé sur l'amélioration des capacités de raisonnement et de logique.

Agent Laboratory — Agent Laboratory est un workflow de recherche autonome de bout en bout, conçu pour aider les chercheurs humains à mettre en œuvre leurs idées de recherche.

EurusPRM-Stage2 — EurusPRM-Stage2 est un modèle d'apprentissage par renforcement basé sur des récompenses de processus implicites, conçu pour améliorer les capacités de raisonnement des modèles génératifs.

EurusPRM-Stage1 — EurusPRM-Stage1 est un modèle d'apprentissage par renforcement basé sur des récompenses de processus implicites, conçu pour améliorer les capacités de raisonnement des modèles génératifs.

Sonus-1 — Sonus-1 : une nouvelle ère pour les grands modèles de langage (LLM)

MLPerf Client — Benchmark de performance de l'IA sur PC

OLMo-2-1124-13B-SFT — Modèle de génération de texte avancé

Star-Attention — Technique d'inférence efficace pour les grands modèles de langage sur des séquences longues

WorkflowLLM — Cadre basé sur les données, améliorant les capacités d'orchestration des workflows pour les grands modèles de langage.

Agora — Protocole de communication interplateforme permettant une communication efficace entre différents grands modèles de langage (LLM).

O1-Journey — O1复制之旅：战略进展报告第一部分

SELA — SELA améliore l'apprentissage automatique automatisé (AutoML) en combinant la recherche par arbre de Monte-Carlo et des agents basés sur les grands modèles de langage (LLM).

BitNet — Un framework d'inférence pour les grands modèles de langage binaires (LLM)

Mon Solveur de Maths IA — Outil de pointe utilisant l'intelligence artificielle pour résoudre divers problèmes de mathématiques.

AutoDAN-Turbo — Un cadre automatisé qui surmonte les limites des grands modèles de langage

Communauté IA Mìshí — Communauté de connaissances spécialisée dans l'intelligence artificielle et la gestion de produits

fengChat — Assistant IA intelligent offrant un support efficace pour la création et l'apprentissage.

OneGen — Cadre de génération et de recherche unifié et hautement efficace en une seule passe, adapté aux grands modèles de langage.

Qwen2.5 — Modèle linguistique de grande taille open source, prenant en charge les applications multilingues et professionnelles.

Assistant IA Baidu — Plateforme de dialogue intelligent offrant des services IA multi-domaines.

LongCite — Permet aux grands modèles de langage de générer des citations granulaires lors de la réponse à des questions sur de longs textes.

Bloc-notes électronique avec stylet Hanwang N10 Pro — Le bloc-notes électronique haut de gamme qui révolutionne l'ère des écrans à encre électronique