Alex Lavaee(@alexlavaee):I’ll be going live on @theneurondaily tomorrow at 10 AM PT to talk about verification and test engineering for AI-generated code to improve assurance at scale. I’ll be covering empirical verification techniques that can be applied in practice and should be adopted as a baseline for every codebase. Link below, make sure to hit “notify me” button on the video to not miss it.

Alex Lavaee

@alexlavaee

Formal Methods & Applied AI @MSFTResearch | Prev AI Research @harvardmed + @BU_CDS

가입 June 2026

329 팔로잉 중 1.1K 팬

Alex Lavaee@alexlavaee

2026.10.07 21:02

I’ll be going live on @theneurondaily tomorrow at 10 AM PT to talk about verification and test engineering for AI-generated code to improve assurance at scale. I’ll be covering empirical verification techniques that can be applied in practice and should be adopted as a baseline for every codebase. Link below, make sure to hit “notify me” button on the video to not miss it.