Navegação TCC Ciência da Computação por Autor "Silva, Lucas Marques"
Resultados 1-1 de 1
-
Assistentes baseados em llms no desenvolvimento de software e na prova de teoremas
Silva, Lucas Marques (2024) [Trabalho de conclusão de graduação]Este trabalho apresenta uma análise do impacto de assistentes de código baseados em LLM (Large Language Model) no desenvolvimento de software e na provas de teoremas. Além de uma análise de alguns trabalhos relacionados a ...