Hemeng Zeng

According to our database, Hemeng Zeng authored at least 2 papers between 2022 and 2025.

Collaborative distances:

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

2025

An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types.

Hao Dong, Zheyuan Shi, Hemeng Zeng, Yongmei Liu

Proceedings of the Thirty-Ninth AAAI Conference on Artificial Intelligence, 2025

2022

A Native Qualitative Numeric Planning Solver Based on AND/OR Graph Search.

Hemeng Zeng, Yikun Liang, Yongmei Liu

Proceedings of the Thirty-First International Joint Conference on Artificial Intelligence, 2022