Jianye Hao

Le cadre MindStar améliore efficacement les compétences de raisonnement dans les modèles de langage.

Présentation d'une bibliothèque modulaire pour prendre des décisions facilement en utilisant des modèles de diffusion.

Évaluer comment les modèles se débrouillent dans la planification de tâches dans le monde réel en utilisant un nouveau cadre.

VeriDistill utilise l'apprentissage automatique pour améliorer l'efficacité et la précision de la conception des circuits.