Jing Xiong

A new way to improve transformer models using adaptable positional encoding techniques.

New methods and benchmarks aim to simplify formalizing mathematics through Lean 4.

Robotic endoscopy improves safety and effectiveness in diagnosing digestive conditions.