@inproceedings{speck-et-al-aaai2025,
  author       = {David Speck and Markus Hecher and Daniel Gnad and Johannes K. Fichte and
    Augusto B. Corr{\^e}a},
  title        = {Counting and Reasoning with Plans},
  editor       = {Julie Shah and Zico Kolter},
  booktitle    = {Proceedings of the Thirty-Ninth {AAAI} Conference on Artificial
    Intelligence ({AAAI} 2025)},
  publisher    = {{AAAI} Press},
  year         = 2025,
}