Zhenhe Cui

According to our database, Zhenhe Cui authored at least 6 papers between 2016 and 2026.

Collaborative distances:

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

2026

Abstraction Generation for Generalized Planning with Pretrained Large Language Models.

Zhenhe Cui, Huaxiang Xia, Hangjun Shen, Kailun Luo, Yong He, Wei Liang

CoRR, February, 2026

2025

A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus.

Liangda Fang, Xiaoman Wang, Zhang Chen, Kailun Luo, Zhenhe Cui, Quanlong Guan

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

2023

Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning.

Zhenhe Cui, Weidu Kuang, Yongmei Liu

Proceedings of the Thirty-Second International Joint Conference on Artificial Intelligence, 2023

2022

Automatic Verification of Sound Abstractions for Generalized Planning.

Zhenhe Cui, Weidu Kuang, Yongmei Liu

CoRR, 2022

2021

A Uniform Abstraction Framework for Generalized Planning.

Zhenhe Cui, Yongmei Liu, Kailun Luo

Proceedings of the Thirtieth International Joint Conference on Artificial Intelligence, 2021

2016

Conjugacy relations of prefix codes.

Yong He, Zhenhe Cui, Zihan Yuan

Theor. Comput. Sci., 2016