Get started
Author

Zhenhe Cui

Observed name: Cui, Zhenhe
ORCID: 0009-0005-2541-1716
Observed ORCID: 0009-0005-2541-1716
OpenAlex ID: A5043440684
A Uniform Abstraction Framework for Generalized Planning
2021 · Zhenhe Cui, Yongmei Liu, et al. · 5
PDF
A Syntactic Approach to Computing Complete and Sound Abstraction in the Situation Calculus
2025 · Liangda Fang, Xiaoman Wang, et al. · Proceedings of the AAAI Conference on Artificial Intelligence · 1
PDF
Automatic Verification for Soundness of Bounded QNP Abstractions for Generalized Planning
2023 · Zhenhe Cui, Weidu Kuang, et al. · International Joint Conference on Artificial Intelligence · 1
PDF
Automatic Verification of Sound Abstractions for Generalized Planning
2022 · Cui, Zhenhe, Kuang, Weidu, et al. · arXiv (Cornell University) · 1
PDF
Coverage-Aware Windowed mdBG Assembly
2026 · Weiyu Chen, Yong He, et al.
Abstraction Generation for Generalized Planning with Pretrained Large Language Models
2026 · Cui, Zhenhe, Xia, Huaxiang, et al. · arXiv (Cornell University)
PDF
Conjugacy relations of prefix codes
2016 · Yong He, Zhenhe Cui, et al. · Theoretical Computer Science
PDF
Works count: 8
Citation count: 8
H-index: 1
I10-index:
Year
Topic
Type