Rendere il codice generato dall’IA più accurato in qualsiasi linguaggio

Utilizzo dei modelli di linguaggio per generare codice

I programmatori possono ora sfruttare i modelli di linguaggio di grandi dimensioni (LLM) per generare codice in modo più rapido. Tuttavia, questo semplifica la vita dei programmatori solo se il codice generato rispetta le regole del linguaggio di programmazione e non causa il crash del computer.

Metodi per garantire la conformità

Esistono alcuni metodi per assicurare che gli LLM rispettino le regole del linguaggio in cui stanno generando testo. Tuttavia, molti di questi metodi possono distorcere il significato inteso dal modello o risultare troppo dispendiosi in termini di tempo per compiti complessi.

Un nuovo approccio per la generazione di testo

Un nuovo approccio sviluppato da ricercatori del MIT e di altre istituzioni guida automaticamente un LLM a generare testo che aderisce alle regole del linguaggio rilevante, come un particolare linguaggio di programmazione, e che sia privo di errori. Questo metodo consente a un LLM di concentrare gli sforzi su output che hanno maggiori probabilità di essere validi e accurati, scartando precocemente quelli meno promettenti. Questo approccio probabilistico migliora l’efficienza computazionale.

Efficienza e prestazioni migliorate

Grazie a questi guadagni di efficienza, l’architettura sviluppata dai ricercatori ha permesso a piccoli LLM di superare modelli molto più grandi nella generazione di output accurati e strutturati correttamente per diversi casi d’uso reali, tra cui la biologia molecolare e la robotica.

Implicazioni future

Nel lungo termine, questa nuova architettura potrebbe aiutare i non esperti a controllare i contenuti generati dall’AI. Ad esempio, potrebbe permettere ai professionisti del business di scrivere query complesse in SQL, un linguaggio per la manipolazione dei database, utilizzando solo prompt in linguaggio naturale.

Impatto oltre la ricerca

“Questo lavoro ha implicazioni che vanno oltre la ricerca. Potrebbe migliorare gli assistenti di programmazione, l’analisi dei dati potenziata dall’AI e gli strumenti di scoperta scientifica, garantendo che gli output generati dall’AI rimangano sia utili che corretti,” afferma João Loula, uno studente laureato del MIT e co-autore principale di un articolo su questo framework.

Collaborazione internazionale

Loula è affiancato nell’articolo dai co-autori principali Benjamin LeBrun, assistente di ricerca presso il Mila-Quebec Artificial Intelligence Institute, e Li Du, studente laureato presso la John Hopkins University; dai co-autori senior Vikash Mansinghka, Alexander K. Lew, Tim Vieira e Timothy J. O’Donnell, che hanno guidato il team internazionale. La ricerca sarà presentata alla International Conference on Learning Representations.

Controllo della struttura e del significato

Un approccio comune per controllare il testo strutturato generato dagli LLM prevede di verificare un intero output, come un blocco di codice, per assicurarsi che sia valido e privo di errori. In caso contrario, l’utente deve ricominciare, accumulando risorse computazionali. D’altra parte, un programmatore potrebbe fermarsi per controllare l’output lungo il percorso, garantendo che il codice aderisca al linguaggio di programmazione e sia strutturalmente valido.

Fonte: MIT

articolo originale

foto credit: Credit: iStock