SpecGuard monitors multi-turn LLM jailbreaks with temporal logic
A training-free monitor compiles Linear Temporal Logic rules into automata and emits replayable violation witnesses.
Stories per day · 30 days
1 stories, newest first · one card per story