Em Andamento
AICodeRepair: Towards Self-Healing AI Code with Large Language Models and Formal Verification
Projeto de pesquisa do portfólio PPGEE 2021–2024 sobre autorreparo de código de IA com LLMs e verificação formal.
Período
janeiro de 2021 – janeiro de 2024
Coordenação
Processo
DEV-2021-0003
Duração
Quadriênio 2021–2024 no portfólio do PPGEE
Projeto
Descrição
Projeto de pesquisa do portfólio PPGEE 2021–2024 sobre autorreparo de código de IA com LLMs e verificação formal.
Objetivos
Objetivos
Desenvolver métodos de autorreparo de código de inteligência artificial combinando grandes modelos de linguagem e verificação formal, conforme o título do projeto e a notícia do seminário e-Controls.
Método
Metodologia
Combinação de grandes modelos de linguagem com bounded model checking aparece como abordagem na notícia oficial relacionada.
Resultados esperados
Resultados esperados
sssssssssssssssssssssssssssssss
Resultados alcançados
Resultados alcançados
sssssssssssssssssssssssssssssss
Impacto
Impacto e legado
A notícia da UFAM relaciona o tema à produção de código de IA mais seguro e verificável.
Equipe
Equipe e coordenação (5)
Pesquisa
Linha de pesquisa
Produção
Publicações relacionadas (2)
Parceiros
Instituições relacionadas
Palavras-chave
Palavras-chave
AICodeRepairLLMreparo automáticoverificação formalbounded model checking