Agenti LLM Automatizzano la Riformulazione di Modelli di Vincoli

Un nuovo framework da arXiv (2608.08127) introduce un sistema agente che utilizza Large Language Models (LLM) per riformulare automaticamente modelli di programmazione con vincoli (CP). Il sistema, che opera all'interno della libreria di modellazione CPMpy, propone formulazioni alternative, le valida iniettando soluzioni nel modello originale, ripara i fallimenti e restituisce la variante migliore in una mediana di circa quindici minuti. Questo approccio affronta la tradizionale dipendenza dall'esperienza umana per compiti come la rottura di simmetria, i vincoli impliciti e la selezione di vincoli globali, e va oltre le regole di trasformazione predefinite esplorando uno spazio aperto di riformulazioni. Il framework stabilisce la correttezza empiricamente piuttosto che per costruzione, segnando un cambiamento nel miglioramento automatico dei modelli.