ReadGlim
PL-Guard: Probabilistic Logic Reasoning for LLM Guardrails — ReadGlim