Ximeng Li

Papers

Total Citations

H-Index

About

Ximeng Li is a researcher specializing in the formal verification of robotic algorithms, with a particular focus on camera pose estimation and dexterous manipulation. Their work bridges the gap between theoretical robotics and rigorous mathematical proof, ensuring the reliability of systems critical to robot navigation, target tracking, and calibration. Li’s most-cited paper, "Formalization of Camera Pose Estimation Algorithm based on Rodrigues Formula" (2020, 11 citations), pioneers the use of formal methods to validate the correctness of pose estimation algorithms—a step often overlooked in practical implementations. This contribution addresses a fundamental challenge in robotics, where unverified algorithms can lead to catastrophic failures in autonomous systems. Building on this, Li’s 2023 paper on the inverse kinematics of a three-fingered dexterous hand (6 citations) extends formal verification to manipulation tasks, laying groundwork for safer, more reliable robotic hands in applications like prosthetics and industrial automation. Though early in their career, Li’s focus on formalization represents a crucial shift toward provably correct robotics, earning recognition for its potential to enhance trust in autonomous systems. Their work is a must-read for researchers interested in the intersection of robotics, mathematics, and formal verification.