2 papers
cs.LG2026
PL-Guard: Probabilistic Logic Reasoning for LLM Guardrails
Satchit Chatterji, Shihan Wang, Giovanni Sileno +1
Large language model guardrails can be viewed as policy-consistency problems: a system must determine which policy-relevant facts hold in a prompt-response pair and what those fact…
cs.AI2024
Think Smart, Act SMARL! Analyzing Probabilistic Logic Shields for Multi-Agent Reinforcement Learning
Satchit Chatterji, Erman Acar
Safe reinforcement learning (RL) is crucial for real-world applications, and multi-agent interactions introduce additional safety challenges. While Probabilistic Logic Shields (PLS…