Groups keyboard shortcuts have been updated
Dismiss
See shortcuts

Clark Barrett on combining LLM code generation with formal verification

7 views
Skip to first unread message

Steve Omohundro

unread,
Aug 21, 2024, 6:13:39 PM8/21/24
to guaranteed-safe-ai

Clark Barrett Future of AI Safety


Professor Calrk Barrett talks about the exciting updates that bring the Center of Automated Reasoning and the Stanford Center of AI Safety together.

Best,
Steve

Evan Miyazono

unread,
Aug 23, 2024, 3:44:43 PM8/23/24
to Steve Omohundro, guaranteed-safe-ai
--
You received this message because you are subscribed to the Google Groups "guaranteed-safe-ai" group.
To unsubscribe from this group and stop receiving emails from it, send an email to guaranteed-safe-ai+unsubscribe@googlegroups.com.
To view this discussion on the web visit https://groups.google.com/d/msgid/guaranteed-safe-ai/CAOLEBs8%2B05E662xQYLjL%2BTgwMjJW-YmDR4QySfVh0SfuEsaTrA%40mail.gmail.com.
For more options, visit https://groups.google.com/d/optout.

Reply all
Reply to author
Forward
0 new messages