Hui Jin

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

Ce papier propose une méthode pour convertir l'ICL en poids de modèle afin d'améliorer la performance.

Une nouvelle méthode, ICH-SCNet, améliore la détection et le traitement des hémorragies cérébrales.