One of the world's largest AI companies; SenseTime Robotics division builds perception, navigation, and planning AI for humanoid and industrial robots