Hui Jin

新しい手法やベンチマークが、Lean 4を使って数学を形式化するのを簡単にすることを目指してるよ。

この論文は、性能向上のためにICLをモデルの重みに変換する方法を提案してるよ。

新しい方法、ICH-SCNetが脳出血の検出と治療を改善する。