Architecture neuro-symbolique pour la génération vérifiable de code avec des LLMs
Étude évaluant la capacité de vérification et de correction d'une architecture neuro-symbolique pour la génération de code avec des LLMs.
Recherche
Travaux en intelligence artificielle appliquée au génie logiciel (AI4SE) et à l'éducation (AI4Education).
Une de mes passions est la recherche dans le domaine du génie logiciel et de l'intelligence artificielle. C'est pour cela que j'essaie d'apporter ma contribution à la communauté scientifique avec les études que je mène.
Étude évaluant la capacité de vérification et de correction d'une architecture neuro-symbolique pour la génération de code avec des LLMs.
Étude évaluant plusieurs méthodologies de validation du code généré par les LLMs afin de déterminer leur qualité et efficacité.
Pour tout contact académique concernant une de mes études, vous pouvez me contacter par courrier à [email protected].
Contact
Pour toute demande académique, de recherche, de presse ou d'affaires, choisissez le canal le plus adapté.
Académique et recherche
[email protected]Affaires et projets d'IA
[email protected]Profils de recherche
Réseaux