U-Define: Pianificazione LLM con Vincoli Rigidi e Flessibili

Un nuovo sistema chiamato U-Define consente agli utenti di guidare i piani generati da LLM definendo vincoli in linguaggio naturale e classificandoli come regole rigide (non devono essere violate) o preferenze flessibili (ammettono flessibilità). La ricerca, pubblicata su arXiv (2605.02765v1), affronta la sfida di applicare vincoli rigidi per rappresentare l'intento nella pianificazione di compiti da parte degli utenti finali. Studi precedenti hanno rilevato che i vincoli solo rigidi sono troppo inflessibili e che i pesi numerici di flessibilità confondono gli utenti. U-Define astrae la rigidità in tipi di alto livello abbinati a meccanismi di verifica distinti, con l'obiettivo di aiutare gli utenti a esprimere e allineare l'intento in modo più affidabile.