Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning

We evaluated the faithfulness of LLMs as autoformalizers and solvers in NDA entailment classification and identified their failure modes.

Dates: January 1, 2026 – May 31, 2026

Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning

People

  • Sanna Wong-Toropainen

    University of Helsinki

  • Daneshvar Amrollahi

    Stanford University

  • Tashvi Bansal

    Georgia Tech

  • Ryan Bai

    UCLA