An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models
Fuente:
arXiv
Gespeichert in:
| Hauptverfasser: | , , |
|---|---|
| Format: | Preprint |
| Veröffentlicht: |
2025
|
| Schlagworte: | |
| Online-Zugang: | |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| _version_ | 1866908938249699328 |
|---|---|
| author | Zadorojniy, Alexander Wasserkrug, Segev Farchi, Eitan |
| author_facet | Zadorojniy, Alexander Wasserkrug, Segev Farchi, Eitan |
| contents | Recently, using Large Language Models (LLMs) to generate optimization models from natural language descriptions has became increasingly popular. However, a major open question is how to validate that the generated models are correct and satisfy the requirements defined in the natural language description. In this work, we propose a novel agent-based method for automatic validation of optimization models that builds upon and extends methods from software testing to address optimization modeling . This method consists of several agents that initially generate a problem-level testing API, then generate tests utilizing this API, and, lastly, generate mutations specific to the optimization model (a well-known software testing technique assessing the fault detection power of the test suite). In this work, we detail this validation method and show, through both theory and experiments, the high quality of validation provided by this agent ensemble in terms of the well-known software testing measure called mutation coverage. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2511_16383 |
| institution | arXiv |
| publishDate | 2025 |
| record_format | arxiv |
| spellingShingle | An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models Zadorojniy, Alexander Wasserkrug, Segev Farchi, Eitan Artificial Intelligence Software Engineering Recently, using Large Language Models (LLMs) to generate optimization models from natural language descriptions has became increasingly popular. However, a major open question is how to validate that the generated models are correct and satisfy the requirements defined in the natural language description. In this work, we propose a novel agent-based method for automatic validation of optimization models that builds upon and extends methods from software testing to address optimization modeling . This method consists of several agents that initially generate a problem-level testing API, then generate tests utilizing this API, and, lastly, generate mutations specific to the optimization model (a well-known software testing technique assessing the fault detection power of the test suite). In this work, we detail this validation method and show, through both theory and experiments, the high quality of validation provided by this agent ensemble in terms of the well-known software testing measure called mutation coverage. |
| title | An Agent-Based Framework for the Automatic Validation of Mathematical Optimization Models |
| topic | Artificial Intelligence Software Engineering |
| url | https://arxiv.org/abs/2511.16383 |