ReLoop: Modellazione Strutturata e Verifica Comportamentale per un'Ottimizzazione Affidabile Basata su LLM

ReLoop, un framework di nuova introduzione, affronta la discrepanza tra fattibilità e correttezza nel codice di ottimizzazione generato da LLM, dove fallimenti silenziosi possono produrre formulazioni fattibili per il risolutore ma semanticamente errate. Questa discrepanza può raggiungere i 90 punti percentuali in problemi compositivi. ReLoop incorpora due strategie correlate: generazione strutturata, che suddivide la creazione del codice in un processo di ragionamento in quattro fasi (comprendere, formalizzare, sintetizzare, verificare), e verifica comportamentale, che identifica errori valutando come le formulazioni rispondono a variazioni dei parametri del risolutore. Queste strategie si completano a vicenda in termini di struttura degli errori, con la generazione strutturata che contribuisce ai miglioramenti più significativi nelle sfide compositive.