LexGuard: Keeping Legal AI from Being Misled by Phrasing
Researchers have introduced LexGuard, a multi-agent system that integrates SMT logic solvers to help legal AI distinguish substantive changes in cases from mere wording variations.
Sources arxiv.org