Can Large Language Models Simulate Symbolic Execution Output Like KLEE?

Published: