Benedict Quartey

Papers

Total Citations

H-Index

About

Benedict Quartey is a rising researcher at the intersection of robotics, natural language processing, and formal verification. His work focuses on enabling robots to verifiably follow complex, human-like instructions by leveraging foundation models. Quartey’s key contribution is the development of the Language Instruction grounding and verification framework, which allows robots to disambiguate ambiguous commands, ground referents to real-world landmarks, and formally verify that their behavior satisfies user-specified constraints. This approach bridges the gap between flexible human communication and rigorous robot execution, addressing a critical challenge in human-robot interaction. His most-cited paper, “Verifiably Following Complex Robot Instructions with Foundation Models” (2025), has already garnered 5 citations, while an earlier version from 2024 has 2 citations, demonstrating growing interest in his methodology. Quartey’s work is notable for its emphasis on user empowerment—enabling people to express constraints naturally and verify robot actions—which has implications for assistive robotics, manufacturing, and autonomous systems. As an early-career researcher, his contributions are paving the way for more trustworthy and adaptable robotic systems that can operate safely alongside humans.