TY - RPRT TI - On Verifiable Legal Reasoning: A Multi-Agent Framework with Formalized Knowledge Representations AU - Albert Sadowski AU - Jarosław A. Chudziak PY - 2025 DO - 10.1145/3746252.3761057 UR - https://arxiv.org/abs/2509.00710 ID - 2509.00710 ER -