Daxin Liu

Papers

Total Citations

H-Index

About

Daxin Liu is a leading researcher in the intersection of knowledge representation, reasoning, and intelligent agent programming, with a particular focus on the verification and semantics of belief-based programs. His most-cited work, "On the Verification of Belief Programs" (2022), makes a foundational contribution by extending the verification of GOLOG-style programs to handle probabilistic and noisy actions and sensing—a critical step toward deploying autonomous agents in real-world, uncertain environments. This paper, which has garnered early citations from the AI community, addresses the challenge of ensuring that agents’ subjective beliefs align with their actual performance, offering formal methods for correctness guarantees. Liu’s research bridges theoretical logic and practical agent design, enabling more robust decision-making in robotics and AI systems. His work is notable for its rigorous treatment of belief as a probabilistic construct, moving beyond deterministic assumptions. With a growing citation impact, Liu is establishing himself as a key voice in the verification of complex, belief-driven autonomous systems, and his contributions are increasingly cited by researchers working on safe and reliable AI.