English
Related papers

Related papers: On Verifiable Legal Reasoning: A Multi-Agent Frame…

200 papers

Against the backdrop of rapid advances in artificial intelligence, legal argument mining has emerged as an important research area linking legal texts with intelligent analysis, carrying significant theoretical and practical implications.…

Computation and Language · Computer Science 2026-05-05 Xianglei Liao , Chuanyi Li , Kun Chen

We introduce Agentic Reasoning, a framework that enhances large language model (LLM) reasoning by integrating external tool-using agents. Agentic Reasoning dynamically leverages web search, code execution, and structured memory to address…

Artificial Intelligence · Computer Science 2025-07-16 Junde Wu , Jiayuan Zhu , Yuyuan Liu , Min Xu , Yueming Jin

Rule-based reasoning over natural language input arises in domains where decisions must be auditable and justifiable: clinical protocols specify eligibility criteria in prose, evidence rules define admissibility through textual conditions,…

Artificial Intelligence · Computer Science 2026-01-06 Albert Sadowski , Jarosław A. Chudziak

Legal Artificial Intelligence (LegalAI) has achieved notable advances in automating judicial decision-making with the support of Large Language Models (LLMs). However, existing legal LLMs still struggle to generate reliable and…

Computation and Language · Computer Science 2026-02-10 Xin Dai , Buqiang Xu , Zhenghao Liu , Yukun Yan , Huiyuan Xie , Xiaoyuan Yi , Shuo Wang , Ge Yu

Semantic data and knowledge infrastructures must reconcile two fundamentally different forms of representation: natural language, in which most knowledge is created and communicated, and formal semantic models, which enable…

Computation and Language · Computer Science 2026-03-24 Lars Vogt

AI has proven highly successful at urban planning analysis -- learning patterns from data to predict future conditions. The next frontier is AI-assisted decision-making: agents that recommend sites, allocate resources, and evaluate…

Artificial Intelligence · Computer Science 2025-11-10 Sijie Yang , Jiatong Li , Filip Biljecki

Autonomous agents are supposed to be able to finish tasks or achieve goals that are assigned by their users through performing a sequence of actions. Since there might exist multiple plans that an agent can follow and each plan might…

Artificial Intelligence · Computer Science 2022-04-12 Jieting Luo , Beishui Liao , Dov Gabbay

Recent advances in the intrinsic reasoning capabilities of large language models (LLMs) have given rise to LLM-based agent systems that exhibit near-human performance on a variety of automated tasks. However, although these systems share…

Artificial Intelligence · Computer Science 2025-08-26 Bingxi Zhao , Lin Geng Foo , Ping Hu , Christian Theobalt , Hossein Rahmani , Jun Liu

Modelling that exploits visual elements and information visualisation are important areas that have contributed immensely to understanding and the computerisation advancements in many domains and yet remain unexplored for the benefit of the…

Information Theory · Computer Science 2020-11-03 Scott McLachlan , Evangelia Kyrimi , Kudakwashe Dube , Norman Fenton , Lisa Webley

Explanations for artificial intelligence (AI) systems are intended to support the people who are impacted by AI systems in high-stakes decision-making environments, such as doctors, patients, teachers, students, housing applicants, and many…

Human-Computer Interaction · Computer Science 2025-04-16 Gennie Mansi , Naveena Karusala , Mark Riedl

Legal texts often contain computational legal clauses--provisions whose understanding requires complex logic. While frontier Large Reasoning Models (LRMs) can describe such clauses, building production-ready systems is limited by reasoning…

Computation and Language · Computer Science 2026-05-05 Stanisław Sójka , Witold Kowalczyk

We introduce a novel large language model (LLM)-driven agent framework, which iteratively refines queries and filters contextual evidence by leveraging dynamically evolving knowledge. A defining feature of the system is its decoupling of…

Artificial Intelligence · Computer Science 2025-04-02 Seyoung Song

The use of formal language for deductive logical reasoning aligns well with language models (LMs), where translating natural language (NL) into first-order logic (FOL) and employing an external solver results in a verifiable and therefore…

Computation and Language · Computer Science 2026-01-15 Ramya Keerthy Thatikonda , Jiuzhou Han , Wray Buntine , Ehsan Shareghi

Encoding legislative text in a formal representation is an important prerequisite to different tasks in the field of AI & Law. For example, rule-based expert systems focused on legislation can support laypeople in understanding how…

Computation and Language · Computer Science 2023-11-10 Samyar Janatian , Hannes Westermann , Jinzhe Tan , Jaromir Savelka , Karim Benyekhlef

Legal compliance in AI-driven data transfer planning is becoming increasingly critical under stringent privacy regulations such as the Japanese Act on the Protection of Personal Information (APPI). We propose a multi-agent legal verifier…

Artificial Intelligence · Computer Science 2025-11-17 Ha-Thanh Nguyen , Wachara Fungwacharakorn , Ken Satoh

Legal dispute analysis is crucial for intelligent legal assistance systems. However, current LLMs face significant challenges in understanding complex legal concepts, maintaining reasoning consistency, and accurately citing legal sources.…

Artificial Intelligence · Computer Science 2025-09-03 Mingda Zhang , Na Zhao , Jianglong Qing , Qing xu , Kaiwen Pan , Ting luo

Knowledge representation and reasoning in law are essential to facilitate the automation of legal analysis and decision-making tasks. In this paper, we propose a new approach based on legal science, specifically legal taxonomy, for…

Computation and Language · Computer Science 2022-12-19 Ha-Thanh Nguyen , Vu Tran , Ngoc-Cam Le , Thi-Thuy Le , Quang-Huy Nguyen , Le-Minh Nguyen , Ken Satoh

A key method for creating Artificial Intelligence (AI) agents is Reinforcement Learning (RL). However, constructing a standalone RL policy that maps perception to action directly encounters severe problems, chief among them being its lack…

Large Language Models (LLMs) are increasingly explored for legal argument generation, yet they pose significant risks of manipulation through hallucination and ungrounded persuasion, and often fail to utilize provided factual bases…

Artificial Intelligence · Computer Science 2025-10-27 Li Zhang , Kevin D. Ashley

Extracting implicit knowledge and logical reasoning abilities from large language models (LLMs) has consistently been a significant challenge. The advancement of multi-agent systems has further en-hanced the capabilities of LLMs. Inspired…

Artificial Intelligence · Computer Science 2025-09-23 Hailong Yang , Mingxian Gu , Renhuo Zhao , Fuping Hu , Zhaohong Deng , Yitang Chen