EnvTrace: Simulation-Based Semantic Evaluation of LLM Code
arxiv.org