Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs. - Marina Sakharova; Abhinav Anand; Mira Mezini (NAACL (Student Research Workshop), 2025)