Formally verifying agent-written full-stack web apps with PDD Kit By Alex Lavaee, Matthai Philipose · Microsoft Research AI · Nov 5, 2026 Microsoft Research AI's note score 5 Categories: Research