C-SafeGen: Certified Safe LLM Generation with Claim-Based Streaming Guardrails

This paper is waiting its turn. The original abstract is at the bottom of the page.