본 논문은 법의 합리성을 확보하기 위해 LLM 기반 시스템의 한계를 극복하고자, 적대적 LLM 에이전트와 SMT-solver 기반 증명을 결합한 L4M 프레임워크를 제안한다. L4M은 법 조항을 논리 공식으로 변환하고, 검사와 변호인 LLM이 사건 내용과 법 조항을 독립적으로 매핑하며, 자동 형식화기를 통해 양측의 주장을 논리 제약 조건으로 컴파일하여 반복적인 자기 비판을 거쳐 만족 가능한 공식을 도출한 후 판사 LLM이 투명한 평결과 최적의 판결문을 제시하는 세 단계의 파이프라인으로 구성된다. 실험 결과, L4M은 GPT-o4-mini, DeepSeek-V3, Claude 4를 포함한 고급 LLM과 최첨단 법률 AI 기반 시스템을 능가하며, 엄격하고 설명 가능한 기호적 정당성을 제공한다.
