Architettura neuro-simbolica per la generazione verificabile di codice con LLMs
Studio che valuta la capacità di verifica e correzione di un'architettura neuro-simbolica per la generazione di codice con LLMs.
Ricerca
Ricerca e pubblicazioni
Lavori in intelligenza artificiale applicata all'ingegneria del software (AI4SE) e all'educazione (AI4Education).
Una delle mie passioni è la ricerca nel campo dell'ingegneria del software e dell'intelligenza artificiale. È per questo che cerco di contribuire nella comunità scientifica con gli studi che sto conducendo.
Valutazione degli LLMs per la generazione del codice
Studio in cui si valutano diverse metodologie di validazione del codice generato dagli LLMs con l'obiettivo di determinare la loro qualità ed efficienza.
Contatto
Per qualsiasi contatto accademico riguardante uno dei miei studi, potete rivolgervi via email a [email protected].
Contatti
Parliamone
Per richieste accademiche, di ricerca, stampa o business, scegli il canale più adatto.
Accademico e ricerca
[email protected]Business e progetti di IA
[email protected]Profili di ricerca
Social