TY - RPRT TI - Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning AU - Olivia Peiyu Wang AU - Leilani H. Gilpin PY - 2026 UR - https://arxiv.org/abs/2605.14049 ID - 2605.14049 ER -