Penghua Ren

“This paper solves a specific, painful failure mode in deployed humanoid systems — robots that confidently declare task completion when they haven't actually succeeded — by building a geometry-grounded verification layer that sits between the VLM planner and the physical controller.”

“A VLM planner compiles each instruction into a typed JSON sequence of subtasks with explicit predicate-based preconditions and success conditions”