Guaranteed Safe AI Seminars

Monthly seminars on Guaranteed Safe AI R&D. https://www.horizonomega.org/p/guaranteed-safe-ai
March
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
•
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 Benchmarks for AI-assisted Formal Verification

Benchmarks for AI-assisted Formal Verification

​
By HΩ & Orpheus Lummis
​
Zoom
+28
 
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
 
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