Khashayar Etemadi

Uma nova ferramenta reduz os gastos na correção automática de bugs enquanto mantém a eficácia.

Modelos de linguagem grandes melhoram o teste diferencial no desenvolvimento de software.

Uma nova ferramenta combina LLMs e verificação formal pra criar códigos mais seguros.