ENTITY
LeanGuard
LeanGuard
PulseAugur coverage of LeanGuard — every cluster mentioning LeanGuard across labs, papers, and developer communities, ranked by signal.
Total · 30d
1
2 over 90d
Releases · 30d
0
0 over 90d
Papers · 30d
1
2 over 90d
TIER MIX · 90D
TOPICS
SENTIMENT · 30D
1 day(s) with sentiment data
RECENT · PAGE 1/1 · 2 TOTAL
-
LeanGuard enforces verified policies for AI agents, reducing prompt injection
Researchers have developed LeanGuard, a novel runtime system designed to enforce policies for tool-using AI agents. This system verifies tool calls against policies written in Lean4, preventing agents from executing for…
-
New AI guardrails challenge reasoning necessity and boost multimodal safety
Two new research papers explore the effectiveness and adaptability of AI safety guardrails. One paper, LeanGuard, questions the necessity of complex reasoning in moderation, demonstrating that a lightweight, label-only …