Can LLMs Recover Program Semantics? A Systematic Evaluation with Symbolic Execution Published: November 28, 2025Share on Bluesky Facebook LinkedIn Mastodon X (formerly Twitter) Previous Next