Formal AI-Assisted Code Specification and Synthesis
Summary
Shaowei Lin discusses formal methods in AI-assisted code specification and synthesis, emphasizing formal verification as a strategy to protect sociotechnical systems from human-led and AI-enabled attacks.
SESSION Transcript
