Beyond Red-Teaming: Formal Guarantees of LLM Guardrail Classifiers. - Nikita Kezins; Urbas Ekka; Pascal Berrang; Luca Arnaboldi 001 (CoRR, 2026)