Poster · Sydney

Verification-Guided Abstraction Generation with Large Language Models for Generalized Planning

Name: Verification-Guided Abstraction Generation with Large Language Models for Generalized Planning
Start: 2026-12-08T10:00:00+11:00
End: 2026-12-08T13:00:00+11:00
Location: Hall 1-4, ICC Sydney

When: Tue 8 Dec 2026, 10:00–13:00 AEDT
Where: Hall 1-4, ICC Sydney
Exhibition Centre, Level 1
Session: Sydney Poster Session 1
Authors: Zhenhe Cui, Huaxiang Xia, Hangjun Shen, Kailun Luo, Yong He, LiangWei
Organisations: Hunan University of Science and Technology, Dongguan University of Technology
QRS classification: Language models

Open in schedule Official page