I'm intrigued by the seemingly specific naming convention "Xiaomi-Robotics-1", it suggests a company is organizing its robotics projects with a straightforward incremental approach.
https://robotics.xiaomi.com/xiaomi-robotics-1.html
I've seen similar naming conventions at our company, but they usually include a date or a specific product line, did Xiaomi mention what the '1' refers to?