Pós-Graduação em Ciência da Computação – UFPEDefesa de Dissertação de Mestrado Nº 2.255Aluno: Alan Lemos AmaralOrientador: Prof. […]
Evaluating the correctness and performance of AI-generated
benchmarks
Maior evento de Métodos Formais do Brasil aconteceu entre os dias 3 e 5 de dezembro, […]
Extensão Universitária como Mecanismo para Inovação Aberta: Desenvolvimento Rápido de Soluções Digitais para o Terceiro Setor
Evaluating LLMs for Multimodal GUI Test Generation in Android
Applications
Pós-Graduação em Ciência da Computação – UFPEDefesa de Dissertação de Mestrado Nº 2.252Aluna: Marta Maria Guedes […]
Pós-Graduação em Ciência da Computação – UFPEDefesa de Tese de Doutorado Nº 685 Aluno: Esau Bermudez […]
SciCheck: Reasoning Distillation for Biomedical Claim Verification
Pós-Graduação em Ciência da Computação – UFPEDefesa de Tese de Doutorado Nº 684 Aluno: Douglas Álisson Marques de […]
Os candidatos aprovados serão contatados por e-mail