@misc{indiciae19d76cc72f0e, title = {Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning}, author = {Olivia Peiyu Wang and Sanna Wong-Toropainen and Daneshvar Amrollahi and Ryan Bai and Tashvi Bansal and Arush Garg and Leilani H. Gilpin}, year = {2026}, url = {https://arxiv.org/abs/2606.16118}, note = {Source identifier: 2606.16118} }