Can Large Language Models Simulate Symbolic Execution Output Like KLEE? - Rong Feng; Vanisha Gupta; Vivek Patel; Viroopaksh Reddy Ernampati; Suman Saha (CoRR, 2025)