@misc{indiciae7e600a32096c,
  title = {Teaching LLMs Program Semantics via Symbolic Execution Traces},
  author = {Jonas Bayer and Stefan Zetzsche and Olivier Bouissou and Remi Delmas and Michael Tautschnig and Soonho Kong},
  year = {2026},
  url = {https://arxiv.org/abs/2605.06184},
  note = {Source identifier: 2605.06184}
}