Verifiable safety guarantees: the demand for concrete proof of AI system safety before deploymentTechnologies