Hui Jin

Neue Methoden und Benchmarks sollen die Formalisierung von Mathematik mit Lean 4 vereinfachen.

Dieses Papier schlägt eine Methode vor, um ICL in Modellgewichte umzuwandeln, um die Leistung zu verbessern.

Eine neue Methode, ICH-SCNet, verbessert die Erkennung und Behandlung von Gehirnblutungen.