RCR Report for the Paper : “Using (Not-so) Large Language Models to Generate Simulation Models in a Formal DSL: A Study on Reaction Networks”
该报告评估了一篇关于使用大语言模型在形式化领域特定语言中生成反应网络仿真模型的论文，验证了其代码、实验过程和结果的可复现性。
The artifact evaluated in this report is relevant to the article “Using (Not-so) Large Language Models to Generate Simulation Models in a Formal DSL: A Study on Reaction Networks”. The authors provided the code residing on a permanent repository, the instructions for building and executing the artifact are well-documented, as well as the dependencies needed and possible issues encountered during the reproducibility process. The process of running the experiments and generating data, plots, and table terminates correctly. The results could be reproduced. The article receives the badges Artifacts Available , Artifacts Evaluated—Reusable and Results Validated—Results Reproduced .