@inproceedings{singh-etal-2025-empirical,
    title = "An empirical study of validating synthetic data for formula generation",
    author = "Singh, Usneek  and
      Cambronero, Jos{\'e}  and
      Gulwani, Sumit  and
      Kanade, Aditya  and
      Khatry, Anirudh  and
      Le, Vu  and
      Singh, Mukul  and
      Verbruggen, Gust",
    editor = "Chiruzzo, Luis  and
      Ritter, Alan  and
      Wang, Lu",
    booktitle = "Findings of the Association for Computational Linguistics: NAACL 2025",
    month = apr,
    year = "2025",
    address = "Albuquerque, New Mexico",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/corrections-2025-06/2025.findings-naacl.391/",
    doi = "10.18653/v1/2025.findings-naacl.391",
    pages = "7047--7054",
    ISBN = "979-8-89176-195-7"
}