R^2-Guard: Robust Reasoning Enabled LLM Guardrail via Knowledge-Enhanced Logical Reasoning - Kang, Mintong; Li, Bo (International Conference on Learning Representations, 2025)