TY - RPRT TI - Towards Trustworthy Legal AI through LLM Agents and Formal Reasoning AU - Linze Chen AU - Yufan Cai AU - Zhe Hou AU - Jin Song Dong PY - 2026 UR - https://arxiv.org/abs/2511.21033 ID - 2511.21033 ER -