mlsanityData to 14 Oct 2026

Solver-Independent Automated Problem Formulation via LLMs for High-Cost Simulation-Driven Design

arXiv 2512.18682 ↗First posted 21 Dec 2025cs.CL cs.SEcited by 1

Not on the map. Why?

Abstract (arXiv)

In the high-cost simulation-driven design domain, translating ambiguous design requirements into a mathematical optimization formulation is a bottleneck for optimizing product performance. This process is time-consuming and heavily reliant on expert knowledge. While large language models (LLMs) offer potential for automating this task, existing approaches either suffer from poor formalization that fails to accurately align with the design intent or rely on solver feedback for data filtering, which is unavailable due to the high simulation costs. To address this challenge, we propose APF, a framework for solver-independent, automated problem formulation via LLMs designed to automatically convert engineers' natural language requirements into executable optimization models. The core of this framework is an innovative pipeline for automatically generating high-quality data, which overcomes the difficulty of constructing suitable fine-tuning datasets in the absence of high-cost solver feedback with the help of data generation and test instance annotation. The generated high-quality dataset is used to perform supervised fine-tuning on LLMs, significantly enhancing their ability to generate accurate and executable optimization problem formulations. Experimental results on antenna design demonstrate that APF significantly outperforms the existing methods in both the accuracy of requirement formalization and the quality of resulting radiation efficiency curves in meeting the design goals.

Key facts. Cited by 1 paper in the map (data through 14 Oct 2026). Builds on 16 of its 58 references that are in the map. First posted on arXiv 21 Dec 2025.

Builds on

16 of 58 references.

References · 16

  1. 2024The Llama 3 Herd of Modelscited by 14,715
  2. 2022Self-Instruct: Aligning Language Models with Self-Generated Instructionscited by 2,724
  3. 2024Magpie: Alignment Data Synthesis from Scratch by Prompting Aligned LLMs with Nothingcited by 346
  4. 2024On LLMs-Driven Synthetic Data Generation, Curation, and Evaluation: A Surveycited by 244
  5. 2024DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Datacited by 234
  6. 2023NL4Opt Competition: Formulating Optimization Problems Based on Their Natural Language Descriptionscited by 135
  7. 2024ORLM: A Customizable Framework in Training Large Models for Automated Optimization Modelingcited by 124
  8. 2024CLoSD: Closing the Loop between Simulation and Diffusion for multi-task character controlcited by 109
  9. 2024LLMOPT: Learning to Define and Solve General Optimization Problems from Scratchcited by 102
  10. 2020Scalable Constrained Bayesian Optimizationcited by 84
  11. 2022Augmenting Operations Research with Auto-Formulation of Optimization Models from Problem Descriptionscited by 54
  12. 2025OptMATH: A Scalable Bidirectional Data Synthesis Framework for Optimization Modelingcited by 49
4 more
  1. 2024LLaMoCo: Instruction Tuning of Large Language Models for Optimization Code Generationcited by 45
  2. 2025Solver-Informed RL: Grounding Large Language Models for Authentic Optimization Modelingcited by 45
  3. 2024Scalable and Effective Arithmetic Tree Generation for Adder and Multiplier Designscited by 9
  4. 2025ParetoHqD: Fast Offline Multiobjective Alignment of Large Language Models using Pareto High-quality Datacited by 4

Built on by

Cited by year (2026 to 14 Oct)

Citing papers per year: 2026: 1.

1 paper.