C-SafeGen: Certified Safe LLM Generation with Claim-Based Streaming Guardrails - Kang, Mintong; Chen, Zhaorun; Li, Bo (Advances in Neural Information Processing Systems, 2025)