Monthly technical seminar series, founded in April 2024, on quantitative and guaranteed AI safety approaches such as formal verification, certified training, and runtime monitoring.
Endorsements made here support Horizon Events.
Monthly technical seminar series, founded in April 2024, on quantitative and guaranteed AI safety approaches such as formal verification, certified training, and runtime monitoring.
Endorsements made here support Horizon Events.
People
Updated 05/18/26 · By grantmaking.aiOrganizer
Discussion
Sign in to comment
No comments yet. Be the first to share your thoughts.