Logical Lease Litigation: Prolog and LLMs for Rental Law Compliance in New York

Sanskar Sehgal, Yanhong A. Liu

Legal cases require careful logical reasoning following the laws, whereas interactions with non-technical users must be in natural language. As an application combining logical rea…