English
Related papers

Related papers: Logic Rules as Explanations for Legal Case Retriev…

200 papers

Syllogistic reasoning is crucial for sound legal decision-making, allowing legal professionals to draw logical conclusions by applying general principles to specific case facts. While large language models (LLMs) can answer legal questions,…

Computation and Language · Computer Science 2025-06-02 Kepu Zhang , Weijie Yu , Zhongxiang Sun , Jun Xu

Legal case retrieval (LCR) is a specialised information retrieval task aimed at identifying relevant cases given a query case. LCR holds pivotal significance in facilitating legal practitioners to locate legal precedents. Existing LCR…

Information Retrieval · Computer Science 2026-03-06 Yanran Tang , Ruihong Qiu , Yilun Liu , Xue Li , Zi Huang

Neuro-symbolic NLP methods aim to leverage the complementary strengths of large language models and formal logical solvers. However, current approaches are mostly static in nature, i.e., the integration of a target solver is predetermined…

Computation and Language · Computer Science 2025-10-09 Lei Xu , Pierre Beckmann , Marco Valentino , André Freitas

Two lines of approaches are adopted for complex reasoning with LLMs. One line of work prompts LLMs with various reasoning structures, while the structural outputs can be naturally regarded as intermediate reasoning steps. Another line of…

Artificial Intelligence · Computer Science 2025-02-25 Sen Yang , Xin Li , Leyang Cui , Lidong Bing , Wai Lam

Matching patients to clinical trials demands a systematic and reasoned interpretation of documents which require significant expert-level background knowledge, over a complex set of well-defined eligibility criteria. Moreover, this…

Computation and Language · Computer Science 2024-10-01 Mael Jullien , Alex Bogatu , Harriet Unsworth , Andre Freitas

Neuro-symbolic reinforcement learning (NS-RL) has emerged as a promising paradigm for explainable decision-making, characterized by the interpretability of symbolic policies. NS-RL entails structured state representations for tasks with…

Artificial Intelligence · Computer Science 2024-06-14 Lirui Luo , Guoxi Zhang , Hongming Xu , Yaodong Yang , Cong Fang , Qing Li

Large Language Models (LLMs) have shown remarkable reasoning performance but struggle with multi-step deductive reasoning involving a series of rule application steps, especially when rules are presented non-sequentially. Our preliminary…

Computation and Language · Computer Science 2024-08-27 Siyuan Wang , Zhongyu Wei , Yejin Choi , Xiang Ren

Deep reinforcement learning (RL) methods often require many trials before convergence, and no direct interpretability of trained policies is provided. In order to achieve fast convergence and interpretability for the policy in RL, we…

Traditional retrieval methods rely on transforming user queries into vector representations and retrieving documents based on cosine similarity within an embedding space. While efficient and scalable, this approach often fails to handle…

Computation and Language · Computer Science 2025-03-25 Felix Faltings , Wei Wei , Yujia Bao

A recommendation system assists users in finding items that are relevant to them. Existing recommendation models are primarily based on predicting relationships between users and items and use complex matching models or incorporate…

Artificial Intelligence · Computer Science 2023-09-15 Maonian Wu , Bang Chen , Shaojun Zhu , Bo Zheng , Wei Peng , Mingyi Zhang

Semantic code search is the task of retrieving a code snippet given a textual description of its functionality. Recent work has been focused on using similarity metrics between neural embeddings of text and code. However, current language…

Machine Learning · Computer Science 2022-11-08 Shushan Arakelyan , Anna Hakhverdyan , Miltiadis Allamanis , Luis Garcia , Christophe Hauser , Xiang Ren

As the legal community increasingly examines the use of large language models (LLMs) for various legal applications, legal AI developers have turned to retrieval-augmented LLMs ("RAG" systems) to improve system performance and robustness.…

Computation and Language · Computer Science 2025-05-08 Lucia Zheng , Neel Guha , Javokhir Arifov , Sarah Zhang , Michal Skreta , Christopher D. Manning , Peter Henderson , Daniel E. Ho

More than half of the global population struggles to meet their civil justice needs due to limited legal resources. While Large Language Models (LLMs) have demonstrated impressive reasoning capabilities, significant challenges remain even…

Computation and Language · Computer Science 2026-04-22 Fanyu Wang , Xiaoxi Kang , Paul Burgess , Aashish Srivastava , Chetan Arora , Adnan Trakic , Lay-Ki Soon , Md Khalid Hossain , Lizhen Qu

The ease and speed of spreading misinformation and propaganda on the Web motivate the need to develop trustworthy technology for detecting fallacies in natural language arguments. However, state-of-the-art language modeling methods exhibit…

Artificial Intelligence · Computer Science 2023-05-19 Zhivar Sourati , Filip Ilievski , Hông-Ân Sandlin , Alain Mermoud

Resolving complex information needs that come with multiple constraints should consider enforcing the logical operators encoded in the query (i.e., conjunction, disjunction, negation) on the candidate answer set. Current retrieval systems…

Information Retrieval · Computer Science 2026-02-02 Mohanna Hoveyda , Jelle Piepenbrock , Arjen P de Vries , Maarten de Rijke , Faegheh Hasibi

Large Language Models (LLMs) have demonstrated impressive progress in complex reasoning tasks, largely driven by the Chain-of-Thought (CoT) paradigm, which decomposes difficult problems into intermediate steps. However, CoT reasoning…

Symbolic Computation · Computer Science 2026-05-26 Rui Wang , Zeming Wei , Yihao Zhang , Xiaokun Luan

Document-level relation extraction aims to identify relations between entities in a whole document. Prior efforts to capture long-range dependencies have relied heavily on implicitly powerful representations learned through (graph) neural…

Computation and Language · Computer Science 2021-11-11 Dongyu Ru , Changzhi Sun , Jiangtao Feng , Lin Qiu , Hao Zhou , Weinan Zhang , Yong Yu , Lei Li

Large language models (LLMs) are a promising venue for natural language understanding and generation. However, current LLMs are far from reliable: they are prone to generating non-factual information and, more crucially, to contradicting…

Computation and Language · Computer Science 2024-09-24 Diego Calanzone , Stefano Teso , Antonio Vergari

State-of-the-art large language models (LLMs) exhibit impressive problem-solving capabilities but may struggle with complex reasoning and factual correctness. Existing methods harness the strengths of chain-of-thought and…

Computation and Language · Computer Science 2024-10-03 Xingxuan Li , Weiwen Xu , Ruochen Zhao , Fangkai Jiao , Shafiq Joty , Lidong Bing

The goal of neural-symbolic computation is to integrate the connectionist and symbolist paradigms. Prior methods learn the neural-symbolic models using reinforcement learning (RL) approaches, which ignore the error propagation in the…

Machine Learning · Statistics 2020-07-29 Qing Li , Siyuan Huang , Yining Hong , Yixin Chen , Ying Nian Wu , Song-Chun Zhu