@inproceedings{sakharova-etal-2025-integrating,
    title = "Integrating Symbolic Execution into the Fine-Tuning of Code-Generating {LLM}s",
    author = "Sakharova, Marina  and
      Anand, Abhinav  and
      Mezini, Mira",
    editor = "Ebrahimi, Abteen  and
      Haider, Samar  and
      Liu, Emmy  and
      Haider, Sammar  and
      Leonor Pacheco, Maria  and
      Wein, Shira",
    booktitle = "Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies (Volume 4: Student Research Workshop)",
    month = apr,
    year = "2025",
    address = "Albuquerque, USA",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/fix-sig-urls/2025.naacl-srw.27/",
    pages = "271--278",
    ISBN = "979-8-89176-192-6"
}