TY - RPRT TI - Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning AU - Olivia Peiyu Wang AU - Sanna Wong-Toropainen AU - Daneshvar Amrollahi AU - Ryan Bai AU - Tashvi Bansal AU - Arush Garg AU - Leilani H. Gilpin PY - 2026 UR - https://arxiv.org/abs/2606.16118 ID - 2606.16118 ER -