Jing Xiong

適応可能な位置エンコーディング技術を使ってトランスフォーマーモデルを改善する新しい方法。

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

ロボット内視鏡は消化器系の病気の診断の安全性と効果を向上させる。