Hui Jin

Nuevos métodos y puntos de referencia buscan simplificar la formalización de las matemáticas a través de Lean 4.

Este documento propone un método para convertir ICL en pesos de modelo para mejorar el rendimiento.

Un nuevo método, ICH-SCNet, mejora la detección y tratamiento de hemorragias cerebrales.