La recherche améliore les grands modèles de langage avec des techniques d'entraînement innovantes.
Dian Yu, Yuheng Zhang, Jiahao Xu
― 9 min lire
Linfeng Song
Découvrez comment HunyuanProver change notre approche des problèmes de maths complexes.
Yang Li, Dong Du, Linfeng Song
― 7 min lire