This research introduces L4M, a framework combining adversarial LLM agents with SMT-based formal reasoning to achieve verifiable legal decision-making. It de...
Level: advanced
By Linze Chen, Yufan Cai, Zhe Hou, Jinsong Dong
Category: research