EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment - Demonstrated at Synchrotron Beamlines. - Noah van der Vleuten; Anthony Flores; Shray Mathur; Max Rakitin; Thomas Hopkins; Kevin G. Yager; Esther H. R. Tsai (CoRR, 2025)