ProvablySafe.AI aims to provide connection and onboarding for the research field at the intersection of formal methods and AI safety.