Jing Xiong

Une nouvelle façon d'améliorer les modèles de transformateur en utilisant des techniques d'encodage positionnel adaptables.

De nouvelles méthodes et repères visent à simplifier la formalisation des mathématiques avec Lean 4.

L'endoscopie robotique améliore la sécurité et l'efficacité dans le diagnostic des problèmes digestifs.