@misc{indiciae4f128e4b4033, title = {Towards Trustworthy Legal AI through LLM Agents and Formal Reasoning}, author = {Linze Chen and Yufan Cai and Zhe Hou and Jin Song Dong}, year = {2026}, url = {https://arxiv.org/abs/2511.21033}, note = {Source identifier: 2511.21033} }