New pre-print on Certifying LLM Safety against Adversarial Prompting. Covered by Science News Magazine.