Provably Safe Generative Sampling with Constricting Barrier Functions | ScienceToStartup | ScienceToStartup