Solver-Independent Automated Problem Formulation via LLMs for High-Cost Simulation-Driven Design
By: Yuchen Li , Handing Wang , Bing Xue and more
Potential Business Impact:
Turns engineer words into computer math.
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.
Similar Papers
From Natural Language to Solver-Ready Power System Optimization: An LLM-Assisted, Validation-in-the-Loop Framework
Artificial Intelligence
AI helps plan power grids better and faster.
Automated Design Optimization via Strategic Search with Large Language Models
Machine Learning (CS)
Helps computers design better code faster and cheaper.
Can Large Language Models Autoformalize Kinematics?
Logic in Computer Science
AI writes robot instructions from plain English.