CAIA Stanford Speaker Event

Here are some details on Caltech AI Alignment's next speaker event:

1. Who: Clark Barrett (in person), Stanford University
2. When: May 4th at 2 pm PT
3. Where: Chen 100
4. What: Clark Barrett is a Professor of Computer Science at Stanford University, director of the Stanford Center for Automated Reasoning, and co-director of the Stanford Center for AI Safety. His talk will focus on CSLib, a new initiative to build an industrial-strength formal verification platform in Lean for verifying real-world code. He'll walk through an end-to-end example showing how AI-assisted code generation, the Boole language, and Lean automation come together to make formal verification practical.

Please fill out the luma if you are interested in joining: https://luma.com/oe4ku9gu.

No specific technical background is required - we welcome all interested students who are eager to learn! As with all CAIA events, we will have pizza and boba!