Em Andamento
EnnCore: End-to-End Conceptual Guarding of Neural Architectures
Projeto de pesquisa listado no portfólio PPGEE 2021–2024.
Período
janeiro de 2021 – dezembro de 2024
Coordenação
Processo
DEV-2021-0000
Duração
Quadriênio 2021–2024 no portfólio do PPGEE
Projeto
Descrição
Projeto de pesquisa listado no portfólio PPGEE 2021–2024.
Objetivos
Objetivos
Título do projeto indica proteção conceitual de arquiteturas neurais de ponta a ponta; objetivo detalhado não foi localizado na página do portfólio.
Método
Metodologia
O projeto combina métodos formais e abstração de redes neurais para construir guardas conceituais de ponta a ponta. Técnicas de verificação, refino guiado por contraexemplos e avaliação experimental em arquiteturas neurais compõem o percurso metodológico.
Resultados esperados
Resultados esperados
Espera-se uma metodologia de guarding conceitual aplicável a arquiteturas neurais, com publicações científicas e artefatos experimentais produzidos no âmbito do grupo.
Resultados alcançados
Resultados alcançados
Artefatos e publicações produzidos pelo grupo no tema de guarding de arquiteturas neurais.
Impacto
Impacto e legado
Contribui para a linha de verificação formal e sistemas embarcados do e-Controls, com métodos reaproveitáveis em projetos de IA confiável.
Equipe
Equipe e coordenação (5)
Pesquisa
Linha de pesquisa
Parceiros
Instituições relacionadas
Palavras-chave
Palavras-chave
redes neuraisproteção conceitualverificação formalIA confiável