Arquitectura neuro-simbòlica per a la generació verificable de codi amb LLMs
Estudi on s'avalua la capacitat de verificació i correcció d'una arquitectura neuro-simbòlica per a la generació de codi amb LLMs.
Recerca
Treball en intel·ligència artificial aplicada a l'enginyeria del programari (AI4SE) i a l'educació (AI4Education).
Una de les meves passions és la recerca dins de l'àmbit de l'enginyeria del programari i la intel·ligència artificial. És per això que intento aportar el meu granet de sorra dins de la comunitat científica amb els estudis que estic duent a terme.
Estudi on s'avalua la capacitat de verificació i correcció d'una arquitectura neuro-simbòlica per a la generació de codi amb LLMs.
Estudi on s'avaluen múltiples metodologies de validació del codi generat pels LLMs amb l'objectiu de determinar-ne la seva qualitat i eficiència.
Per a qualsevol contacte acadèmic referent a algun dels meus estudis, us podeu adreçar a [email protected].
Contacte
Per a consultes acadèmiques, de recerca, de premsa o de negoci, tria el canal que millor t'encaixi.
Acadèmic i recerca
[email protected]Negoci i projectes d'IA
[email protected]Perfils de recerca
Social