EnvTrace: Simulation-Based Semantic Evaluation of LLM Code via Execution Trace Alignment -- Demonstrated at Synchrotron Beamlines
Not on the map. Why?
Abstract (arXiv)
Evaluating large language models (LLMs) for instrument control requires methods that go beyond standard, stateless algorithmic benchmarks, since the behavior of physical systems cannot be fully captured by unit tests alone. Here we introduce EnvTrace, a simulation-based method that evaluates execution traces to assess semantic code equivalence. EnvTrace is demonstrated with a beamline control-logic digital twin to facilitate the evaluation of instrument control code, with the digital twin itself also enabling the pre-execution validation of live experiments. Over 30 LLMs were evaluated using trace alignment to generate a multi-faceted score for functional correctness across key behavioral dimensions, showing that many top-tier models can approach human-level performance in rapid control-code generation. This is a first step toward a broader vision where LLMs and digital twins work symbiotically: LLMs providing intuitive control and agentic orchestration, and digital twins offering safe and high-fidelity environments, paving the way towards autonomous embodied AI.
Key facts. No citing papers in the map yet (data through 7 Oct 2026). First posted on arXiv 13 Nov 2025.
Builds on
0 of 0 references.
No references here yet.
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2024Robo-Instruct: Simulator-Augmented Instruction Alignment For Finetuning Code LLMs
- 2026EnvFactory: Scaling Tool-Use Agents via Executable Environments Synthesis and Robust RL
- 2024GoEX: Perspectives and Designs Towards a Runtime for Autonomous LLM Applications
- 2025Enhancing LLM Code Generation: A Systematic Evaluation of Multi-Agent Collaboration and Runtime Debugging for Improved Accuracy, Reliability, and Latency
- 2026Towards Evaluation of Implicit Software World Models in Coding LLMs
- 2026How Generation Architecture Shapes Code Complexity in Multi-Agent LLM Systems: A Paired Study on HumanEval
- 2026Teaching LLMs Program Semantics via Symbolic Execution Traces
- 2025Generative Digital Twins: Vision-Language Simulation Models for Executable Industrial Systems