Jing Xiong

Eine neue Methode, um Transformator-Modelle mit anpassbaren Positionierungstechniken zu verbessern.

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

Roboter-Endoskopie verbessert die Sicherheit und Effektivität bei der Diagnose von Verdauungsproblemen.