@inproceedings{xu-wang-2025-investigating,
    title = "Investigating the (De)Composition Capabilities of Large Language Models in Natural-to-Formal Language Conversion",
    author = "Xu, Ziyao  and
      Wang, Houfeng",
    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/landing_page/2025.naacl-long.87/",
    pages = "1767--1783",
    ISBN = "979-8-89176-189-6"
}