Xiaoyu Liu

Imperative Python loops can now be deterministically converted into idiomatic, vectorized tensor operations in under a second, unlocking an average 75x speedup without relying on trial-and-error rewriting.

Formalization is a major bottleneck in theorem proving, with performance varying dramatically across mathematical domains and problem presentations.

Achieving specialized search performance without sacrificing general intelligence, Yuanbao redefines the balance between focused capabilities and broad utility in autonomous agents.