@inproceedings{hao-etal-2025-large,
    title = "Large Language Models Can Solve Real-World Planning Rigorously with Formal Verification Tools",
    author = "Hao, Yilun  and
      Chen, Yongchao  and
      Zhang, Yang  and
      Fan, Chuchu",
    editor = "Chiruzzo, Luis  and
      Ritter, Alan  and
      Wang, Lu",
    booktitle = "Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 1: Long Papers)",
    month = apr,
    year = "2025",
    address = "Albuquerque, New Mexico",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/Ingest-2025-COMPUTEL/2025.naacl-long.176/",
    pages = "3434--3483",
    ISBN = "979-8-89176-189-6"
}