PROVE-RT usa LLMs para gerar provas mecanizadas em sistemas de tempo real
Pesquisadores apresentam o PROVE-RT, framework que usa LLMs para gerar provas mecanizadas de escalonabilidade em sistemas de tempo real, alcançando 44,7% de sucesso contra falha do prompting direto.
