Hui Jin

Nuovi metodi e standard puntano a semplificare la formalizzazione della matematica tramite Lean 4.

2025-08-03T08:59:42+00:00 ― 6 leggere min

Questo documento propone un metodo per convertire l'ICL in pesi del modello per un miglioramento delle prestazioni.

2025-07-20T01:05:00+00:00 ― 6 leggere min

Un nuovo metodo, ICH-SCNet, migliora il rilevamento e il trattamento delle emorragie cerebrali.

2025-05-28T05:18:36+00:00 ― 5 leggere min