Cover Image

On Verifiable Legal Reasoning: A Multi-Agent Framework with Formalized Knowledge Representations

Fuente: arXiv

Saved in:

Bibliographic Details
Main Authors:	Sadowski, Albert, Chudziak, Jarosław A.
Format:	Preprint
Published:	2025
Subjects:	Artificial Intelligence Computation and Language
Online Access:	Acceder al recurso
Tags:	Add Tag No Tags, Be the first to tag this record!

Similar Items

Explainable Rule Application via Structured Prompting: A Neural-Symbolic Approach
by: Sadowski, Albert, et al.
Published: (2025)

GAIus: Combining Genai with Legal Clauses Retrieval for Knowledge-based Assistant
by: Matak, Michał, et al.
Published: (2025)

Rashomon Memory: Towards Argumentation-Driven Retrieval for Multi-Perspective Agent Memory
by: Sadowski, Albert, et al.
Published: (2026)

Structured Decomposition for LLM Reasoning: Cross-Domain Validation and Semantic Web Integration
by: Sadowski, Albert, et al.
Published: (2026)

Multi-Agent Dialectical Refinement for Enhanced Argument Classification
by: Bąba, Jakub, et al.
Published: (2026)

Improving Implicit Hate Speech Detection via a Community-Driven Multi-Agent Framework
by: Gajewska, Ewelina, et al.
Published: (2026)

Choosing the Lens: Strategic Perspective Activation in Context-Dependent Argumentation
by: Sadowski, Albert, et al.
Published: (2026)

Heterogeneous Debate Engine: Identity-Grounded Cognitive Architecture for Resilient LLM-Based Ethical Tutoring
by: Masłowski, Jakub, et al.
Published: (2026)

TACLA: An LLM-Based Multi-Agent Tool for Transactional Analysis Training in Education
by: Zamojska, Monika, et al.
Published: (2025)

VERGE: Formal Refinement and Guidance Engine for Verifiable LLM Reasoning
by: Singh, Vikash, et al.
Published: (2026)

From Query to Counsel: Structured Reasoning with a Multi-Agent Framework and Dataset for Legal Consultation
by: Lu, Mingfei, et al.
Published: (2026)

Games Agents Play: Towards Transactional Analysis in LLM-based Multi-Agent Systems
by: Zamojska, Monika, et al.
Published: (2025)

Bridging Legal Interpretation and Formal Logic: Faithfulness, Assumption, and the Future of AI Legal Reasoning
by: Wang, Olivia Peiyu, et al.
Published: (2026)

MASLegalBench: Benchmarking Multi-Agent Systems in Deductive Legal Reasoning
by: Jing, Huihao, et al.
Published: (2025)

Toward Verifiable Misinformation Detection: A Multi-Tool LLM Agent Framework
by: Cui, Zikun, et al.
Published: (2025)

Evaluating Theory of Mind and Internal Beliefs in LLM-Based Multi-Agent Systems
by: Kostka, Adam, et al.
Published: (2026)

L-MARS: Legal Multi-Agent Workflow with Orchestrated Reasoning and Agentic Search
by: Wang, Ziqi, et al.
Published: (2025)

VerifiAgent: a Unified Verification Agent in Language Model Reasoning
by: Han, Jiuzhou, et al.
Published: (2025)

LegalGraphRAG: Multi-Agent Graph Retrieval-Augmented Generation for Reliable Legal Reasoning
by: Chen, Zerui, et al.
Published: (2026)

LegalChainReasoner: A Legal Chain-guided Framework for Criminal Judicial Opinion Generation
by: Shi, Weizhe, et al.
Published: (2025)

VEL: A Formally Verified Reasoner for OWL2 EL Profile
by: Ileri, Atalay Mert, et al.
Published: (2024)

Noise-powered Multi-modal Knowledge Graph Representation Framework
by: Chen, Zhuo, et al.
Published: (2024)

Building from Scratch: A Multi-Agent Framework with Human-in-the-Loop for Multilingual Legal Terminology Mapping
by: Meng, Lingyi, et al.
Published: (2025)

MultiDx: A Multi-Source Knowledge Integration Framework towards Diagnostic Reasoning
by: Deng, Yimin, et al.
Published: (2026)

From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
by: Cao, Jialun, et al.
Published: (2025)

Learning to Break: Knowledge-Enhanced Reasoning in Multi-Agent Debate System
by: Wang, Haotian, et al.
Published: (2023)

Logic-Parametric Neuro-Symbolic NLI: Controlling Logical Formalisms for Verifiable LLM Reasoning
by: Farjami, Ali, et al.
Published: (2026)

Deterministic Legal Agents: A Canonical Primitive API for Auditable Reasoning over Temporal Knowledge Graphs
by: de Martim, Hudson
Published: (2025)

TrustGeoGen: Formal-Verified Data Engine for Trustworthy Multi-modal Geometric Problem Solving
by: Fu, Daocheng, et al.
Published: (2025)

Who Decides What Is Harmful? Content Moderation Policy Through A Multi-Agent Personalised Inference Framework
by: Gajewska, Ewelina, et al.
Published: (2026)

OrgForge: A Multi-Agent Simulation Framework for Verifiable Synthetic Corporate Corpora
by: Flynt, Jeffrey
Published: (2026)

TRIZ Agents: A Multi-Agent LLM Approach for TRIZ-Based Innovation
by: Szczepanik, Kamil, et al.
Published: (2025)

On the Role of Contextual Information and Ego States in LLM Agent Behavior for Transactional Analysis Dialogues
by: Zamojska, Monika, et al.
Published: (2025)

AgentsCourt: Building Judicial Decision-Making Agents with Court Debate Simulation and Legal Knowledge Augmentation
by: He, Zhitao, et al.
Published: (2024)

SafeRx-Agent: A Knowledge-Grounded Multi-Agent Framework for Safe and Explainable Medication Recommendation
by: Wang, Xinyu, et al.
Published: (2026)

G2CP: A Graph-Grounded Communication Protocol for Verifiable and Efficient Multi-Agent Reasoning
by: Khaled, Karim Ben, et al.
Published: (2026)

IslamicLegalBench: Evaluating LLMs Knowledge and Reasoning of Islamic Law Across 1,200 Years of Islamic Pluralist Legal Traditions
by: Elmahjub, Ezieddin, et al.
Published: (2026)

Improving Multi-hop Logical Reasoning in Knowledge Graphs with Context-Aware Query Representation Learning
by: Kim, Jeonghoon, et al.
Published: (2024)

DeALOG: Decentralized Multi-Agents Log-Mediated Reasoning Framework
by: Chakraborty, Abhijit, et al.
Published: (2026)

Evaluating Legal Reasoning Traces with Legal Issue Tree Rubrics
by: Lee, Jinu, et al.
Published: (2025)