On the Ability of Transformers to Verify Plans

Sarrof, Yash; Du, Yupei; Stein, Katharina; Koller, Alexander; Thiebaux, Sylvie; Hahn, Michael

by Yash Sarrof, Yupei Du, Katharina Stein, Alexander Koller, Sylvie Thiebaux, Michael Hahn

Reference:

On the Ability of Transformers to Verify PlansYash Sarrof, Yupei Du, Katharina Stein, Alexander Koller, Sylvie Thiebaux, Michael HahnThe Forty-Third International Conference on Machine Learning (ICML), 2026.

Bibtex Entry:

@inproceedings{sarrof2026ability,
	title={On the Ability of Transformers to Verify Plans},
	author={Yash Sarrof and Yupei Du and Katharina Stein and Alexander Koller and Sylvie Thiebaux and Michael Hahn},
      year={2026},
      booktitle={The Forty-Third International Conference on Machine Learning (ICML)},
      url={https://arxiv.org/abs/2603.19954},
}