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 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 support Horizon Events.
People
Updated 05/18/26 · By grantmaking.aiOrganizer
Grants Received– no grants recorded
Updated 05/18/26 · By grantmaking.aiDiscussion
Sign in to comment
No comments yet. Be the first to share your thoughts.