Sylvie Thiébaux | Language, Computation and Cognition Lab (LaCoCo)https://lacoco-lab.github.io/home/authors/sylvie-thiebaux/Sylvie ThiébauxWowchemy (https://wowchemy.com)en-usFri, 20 Mar 2026 13:55:29 +0000https://lacoco-lab.github.io/home/media/icon_hu8f60ba4db9ab46760d26456651b7f58b_9910_512x512_fill_lanczos_center_3.pngSylvie Thiébauxhttps://lacoco-lab.github.io/home/authors/sylvie-thiebaux/On the Ability of Transformers to Verify Planshttps://lacoco-lab.github.io/home/publication/planning2026/Fri, 20 Mar 2026 13:55:29 +0000https://lacoco-lab.github.io/home/publication/planning2026/