TY  - RPRT
TI  - Teaching LLMs Program Semantics via Symbolic Execution Traces
AU  - Jonas Bayer
AU  - Stefan Zetzsche
AU  - Olivier Bouissou
AU  - Remi Delmas
AU  - Michael Tautschnig
AU  - Soonho Kong
PY  - 2026
UR  - https://arxiv.org/abs/2605.06184
ID  - 2605.06184
ER  -