Kevin Chenkai Zhao

According to our database, Kevin Chenkai Zhao authored at least 1 paper in 2025.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of five.

2025

VeriPlan: Integrating Formal Verification and LLMs into End-User Planning.

Christine P. Lee, David Porfirio, Xinyu Jessica Wang, Kevin Chenkai Zhao, Bilge Mutlu

Proceedings of the 2025 CHI Conference on Human Factors in Computing Systems, 2025