Riparazione Guidata da Nucleo Minimo per la Risoluzione di Vincoli Neuro-Simbolici

Un recente preprint su arXiv (2608.14771) introduce una tecnica volta a migliorare l'affidabilità dei modelli linguistici nell'affrontare problemi di vincoli correggendo traduzioni inaccurate. Questo metodo sostituisce le notifiche di errore con prove; se un programma prodotto è insoddisfacibile, identifica un nucleo minimo insoddisfacibile basato sui vincoli del modello, offrendo un segnale chiaro che individua l'errore. Nei test su 77 problemi con un oracolo preciso, la traduzione in Answer Set Programming si è rivelata fedele in sei dei sette domini, con l'unica eccezione della schedulazione di copertura aggregata.