4 ms·The Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning1 points by root-parent 4mo ago