Neuro-Symbolic Architecture for Verifiable Code Generation with LLMs
Study evaluating the verification and correction capability of a neuro-symbolic architecture for code generation with LLMs.
Research
Research & Publications
Work in artificial intelligence applied to software engineering (AI4SE) and education (AI4Education).
One of my passions is research within the field of software engineering and artificial intelligence. That's why I try to contribute my bit to the scientific community with the studies I am carrying out.
Evaluation of LLMs for code generation
Study in which multiple methodologies for validating code generated by LLMs are evaluated, with the aim of determining their quality and efficiency.
Contact
For any academic inquiries regarding any of my studies, you can reach out to me at [email protected].
Contact
Let's talk
For academic, research, press or business inquiries, choose the channel that fits best.
Academic & research
[email protected]Business & AI projects
[email protected]Research profiles
Social