Research organization focused on AI safety and formal verification methods.
Empirical relationships between compute, data, parameters, and AI performance