@misc{indiciae2c2c0bf33e54,
  title = {Large Language Model Powered Symbolic Execution},
  author = {Yihe Li and Ruijie Meng and Gregory J. Duck},
  year = {2025},
  doi = {10.1145/3763163},
  url = {https://arxiv.org/abs/2505.13452},
  note = {Source identifier: 2505.13452}
}