P
PaperPicks
Conferences
Hao Dong
3 papers at tracked venues · 2 at CORE A* · active 2025–2025
DBLP profile ↗
ORCID search ↗
Venues
AAAI
×1
ICLR
×1
IJCAI
×1
Frequent coauthors
Daiyao Yi
DBLP profile ↗
ORCID search ↗
×1
Zheyuan Shi
DBLP profile ↗
ORCID search ↗
×1
Papers
An Automatic Sound and Complete Abstraction Method for Generalized Planning with Baggable Types
AAAI 2025
·
Hao Dong
Shared-AE: Automatic Identification of Shared Subspaces in High-dimensional Neural and Behavioral Activity
ICLR 2025
·
Daiyao Yi
DBLP profile ↗
ORCID search ↗
Solving QNP and FOND+ with Generating, Testing and Forbidding
IJCAI 2025
·
Zheyuan Shi
DBLP profile ↗
ORCID search ↗