Compilatore T-LLM: Framework di Ottimizzazione e Verifica del Codice Basato su LLM
È stato introdotto un nuovo framework, il Compilatore T-LLM (Trusted LLM), per migliorare l'ottimizzazione del codice utilizzando modelli linguistici di grandi dimensioni (LLM). Il framework combina trasformazioni di codice ad alto livello basate su LLM con compilatori tradizionali e strumenti di verifica per garantire la correttezza. I risultati sperimentali sui benchmark PolyBench/C mostrano miglioramenti significativi nella correttezza del codice. L'approccio consente un'ottimizzazione iterativa con strategie di verifica che permettono azioni correttive. L'articolo è disponibile su arXiv con identificativo 2608.14953.
Fatti principali
- Il Compilatore T-LLM è un nuovo framework per l'ottimizzazione del codice.
- Integra trasformazioni del codice basate su LLM con compilatori tradizionali e strumenti di verifica.
- Il framework mira a affrontare la sfida di verificare la correttezza delle trasformazioni del codice generate da LLM.
- I risultati sperimentali sui benchmark PolyBench/C dimostrano miglioramenti significativi nella correttezza del codice.
- L'approccio supporta l'ottimizzazione iterativa con strategie di verifica per azioni correttive.
- L'articolo è annunciato su arXiv con ID 2608.14953.
- Il framework è progettato per sfruttare i recenti progressi negli LLM per trasformazioni di codice ad alto livello.
- Il lavoro affronta la complessità del codice e l'incapacità degli LLM di verificare in modo indipendente le trasformazioni.
Entità
Istituzioni
- arXiv