Language, Computation and Cognition Lab (LaCoCo)
Language, Computation and Cognition Lab (LaCoCo)
Home
People
Publications
Teaching
Joining
Light
Dark
Automatic
On the Ability of Transformers to Verify Plans
Yash Sarrof
,
Yupei Du
,
Katharina Stein
,
Alexander Koller
,
Sylvie Thiébaux
,
Michael Hahn
March, 2026
Preprint
Type
Conference paper
Publication
arxiv
Cite
×