Lucas C. Cordeiro

Estudo revela vulnerabilidades no código produzido por grandes modelos de linguagem.

Esse relatório fala sobre métodos pra melhorar a segurança da memória em redes neurais de IA.

Esse estudo analisa como a análise de intervalos melhora a eficácia da Verificação de Modelos Limitados.

ESBMC-Python ajuda a verificar a correção do código Python usando anotações de tipo e verificação de modelo limitada.

Uma nova abordagem melhora o Aprendizado Federado gerando dados sintéticos enquanto protege a privacidade.