▲ 1 pointsThe Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoningarxiv.orgby root-parent·2mo ago·0 comments·view on hn ↗