Sign up for Zulip
ProvablySafe.AI
https://provablysafeai.zulipchat.com
ProvablySafe.AI aims to provide connection and onboarding for the research field at the intersection of formal methods and AI safety.
You need an invitation to join this organization.
OR
Already have an account? Log in