paper-with-me

홈 › Papers

SED-ML Validator: tool for debugging simulation experiments

2021-06-01 · Bilal Shaikh, Andrew Philip Freiburger, Matthias König, Frank T. Bergmann, David P. Nickerson, Herbert M. Sauro, Michael L. Blinov, Lucian P. Smith, Ion I. Moraru, Jonathan R. Karr

Summary: More sophisticated models are needed to address problems in bioscience, synthetic biology, and precision medicine. To help facilitate the collaboration needed for such models, the community developed the Simulation Experiment Description Markup Language (SED-ML), a common format for describing simulations. However, the utility of SED-ML has been hampered by limited support for SED-ML among modeling software tools and by different interpretations of SED-ML among the tools that support the format. To help modelers debug their simulations and to push the community to use SED-ML consistently, we developed a tool for validating SED-ML files. We have used the validator to correct the official SED-ML example files. We plan to use the validator to correct the files in the BioModels database so that they can be simulated. We anticipate that the validator will be a valuable tool for developing more predictive simulations and that the validator will help increase the adoption and interoperability of SED-ML. Availability: The validator is freely available as a webform, HTTP API, command-line program, and Python package at https://run.biosimulations.org/utils/validate and https://pypi.org/project/biosimulators-utils. The validator is also embedded into interfaces to 11 simulation tools. The source code is openly available as described in the Supplementary data. Contact: karr@mssm.edu

📄 PDF Abstract BibTeX arXiv:2106.00844

Code (2)

biosimulations/Biosimulations 공식 구현
biosimulators/Biosimulators_utils 공식 구현

Similar Papers 제목 키워드 기반

Agentic Application in Power Grid Static Analysis: Automatic Code Generation and Error Correction

2026-04-11 · Qinjuan Wang, Shan Yang, Yongli Zhu arxiv

This paper introduces an LLM agent that automates power grid static analysis by converting natural language into MATPOWER scripts. The framework utilizes DeepSeek-OCR to build an enhanced vector database from MATPOWER ma…

Code Generation

VeriTrans: Fine-Tuned LLM-Assisted NL-to-PL Translation via a Deterministic Neuro-Symbolic Pipeline

2026-04-11 · Xuan Liu, Dheeraj Kodakandla, Kushagra Srivastva, Mahfuza Farooque arxiv

\textbf{VeriTrans} is a reliability-first ML system that compiles natural-language requirements into solver-ready logic with validator-gated reliability. The pipeline integrates an instruction-tuned NL$\!\to\!$PL transla…

CODESIM: Multi-Agent Code Generation and Problem Solving through Simulation-Driven Planning and Debugging

2025-02-08 · Md. Ashraful Islam, Mohammed Eunus Ali, Md Rizwan Parvez

Large Language Models (LLMs) have made significant strides in code generation and problem solving. Current approaches employ external tool-based iterative debuggers that use compiler or other tool-based runtime feedback …

Code GenerationHumanEvalmbppProgram Synthesis

SDialog: A Python Toolkit for End-to-End Agent Building, User Simulation, Dialog Generation, and Evaluation

2025-12-09 · Sergio Burdisso, Séverin Baroudi, Yanis Labrak, David Grunert 외 arxiv

We present SDialog, an MIT-licensed open-source Python toolkit that unifies dialog generation, evaluation and mechanistic interpretability into a single end-to-end framework for building and analyzing LLM-based conversat…

Audio Generation

An integrated Graphical User Interface for Debugging Answer Set Programs

2016-11-15 · Philip Gasteiger, Carmine Dodaro, Benjamin Musitsch, Kristian Reale 외

Answer Set Programming (ASP) is an expressive knowledge representation and reasoning framework. Due to its rather simple syntax paired with high-performance solvers, ASP is interesting for industrial applications. Howeve…