We're a nonprofit building an ecosystem around provable safety properties. Humanity needs tools to set rules that AI must prove it’s obeying. We plan to help researchers, AI labs, governments, and communities to map out the tools they want to review AI systems by supporting an ecosystem for Provably Safe AI. With the Open Agency Archite...