TY  - RPRT
TI  - Integrating Symbolic Execution into the Fine-Tuning of Code-Generating LLMs
AU  - Marina Sakharova
AU  - Abhinav Anand
AU  - Mira Mezini
PY  - 2025
UR  - https://arxiv.org/abs/2504.15210
ID  - 2504.15210
ER  -