Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution

Published: