Guaranteed Safe AI Seminars

Monthly seminars on Guaranteed Safe AI R&D. https://www.horizonevents.info/guaranteedsafeaisem…
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