OptiDSL: Un framework incentrato sui DSL per una modellazione flessibile dell'ottimizzazione
Una recente pubblicazione su arXiv (2608.07040) sostiene che non ogni problema di ottimizzazione combinatoria (COP) sia rappresentato in modo ottimale attraverso la programmazione lineare a numeri interi misti (MILP). Gli autori affermano che imporre domini intricati in vincoli lineari può portare a un'eccessiva complessità di modellazione e limitare l'adattabilità del solver. Introducono OptiDSL, un framework che passa da approcci MILP inflessibili a modelli basati su linguaggi specifici di dominio (DSL). Sfruttando i grandi modelli linguistici (LLM) per tradurre il linguaggio naturale in formati standardizzati e riconosciuti dal dominio, OptiDSL separa la formulazione del problema dall'esecuzione, facilitando un'integrazione fluida con un'ampia gamma di solver specializzati, inclusi sia euristiche tradizionali che tecniche contemporanee basate sull'apprendimento. L'articolo è stato pubblicato su arXiv con l'identificatore 2608.07040.
Fatti principali
- L'articolo arXiv:2608.07040 propone il framework OptiDSL.
- OptiDSL utilizza rappresentazioni DSL invece di formulazioni MILP rigide.
- Gli LLM mappano il linguaggio naturale in strutture di dominio standardizzate.
- Il framework disaccoppia la formulazione del problema dall'esecuzione.
- Si integra con diversi solver: euristiche e basati sull'apprendimento.
- Sostiene che la MILP può indurre una complessità di modellazione proibitiva.
- Si concentra sui problemi di ottimizzazione combinatoria (COP).
Entità
Istituzioni
- arXiv