Khashayar Etemadi

Una nueva herramienta reduce gastos en la corrección automática de errores mientras mantiene la efectividad.

Los grandes modelos de lenguaje mejoran las pruebas diferenciales en el desarrollo de software.

Una nueva herramienta combina LLMs y verificación formal para crear código más seguro.