Microsoft Research· Alex Lavaee, Matthai Philipose·· há 9 diasNota da IA58
Microsoft Research apresenta o PDD Kit para verificar formalmente apps web escritos por agentes
Formally verifying agent-written full-stack web apps with PDD Kit
AI Panorama
A Microsoft Research apresentou o PDD Kit, um kit de desenvolvimento que transforma a intenção do usuário em especificação formal em Verus.
Fonte:Microsoft Research · microsoft.com