Guaranteed Safe AI Seminars

Monthly seminars on Guaranteed Safe AI R&D. https://www.horizonomega.org/p/guaranteed-safe-ai
April
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
Supporter
$100 / year

Events

You have 0 events pending approval by the calendar admin.
They will show up on the schedule once approved
 
Cover Image for Provably Safe Neural Network Controllers via Differential Dynamic Logic

Provably Safe Neural Network Controllers via Differential Dynamic Logic

​
By HΩ, Orpheus Lummis & Samuel Teuber
​
Zoom
​
AI
+14
 
Cover Image for Verifiable AI-Enabled Autonomous Systems with Conformal Prediction

Verifiable AI-Enabled Autonomous Systems with Conformal Prediction

​
By HΩ & Orpheus Lummis
​
To Be Announced
​
AI