top of page

Provable AI safety seminars

​The monthly seminar series on Provable AI Safety brings together researchers and experts to discuss and advance the field of making artificial intelligence systems provably safe. For more info on the field of formal methods + AI safety / provably safe AI / safeguarded AI: provablysafe.ai.

​

Monthly, on the second Thursday.

​

Join: lu.ma/provableaisafetyseminars

Apply to speak: fill this form

Past seminar videos: playlist

Past events

  • May 2024: Provable AI safety with Steve Omohundro

  • April 2024: ​Synthesizing Gatekeepers for Safe Reinforcement Learning by Justice Sefas, ​Verifying Global Properties of Neural Networks by Roman Soletskyi

bottom of page