Large Language Model Powered Symbolic Execution
Yihe Li; Ruijie Meng; Gregory J. Duck
- Published
- Publisher
- Association for Computing Machinery (ACM)
- Journal / collection
- Proceedings of the ACM on Programming Languages
- Research area
- AI & compute
- Source type
- Journal article
- DOI
- 10.1145/3763163
The original publisher provides the full text and its access options.
Cite this source
Yihe Li; Ruijie Meng; Gregory J. Duck. Large Language Model Powered Symbolic Execution. Proceedings of the ACM on Programming Languages. 2025-10-09. https://doi.org/10.1145/3763163