Enhancing Logical Reasoning in Large Language Models to Facilitate Legal Applications

Attempto controlled english for knowledge representation

Fuchs NE, Kaljurand K, Kuhn T · 2008

Earlier work this paper cites.

PROLEG: an implementation of the presupposed ultimate fact theory of Japanese civil code by PROLOG technology

Satoh K, Asai K, Kogawa T, Kubota M, Nakamura M, Nishigai Y, et al · 2010

Earlier work this paper cites.

A Summary of the COLIEE 2019 Competition

Rabelo J, Kim MY, Goebel R, Yoshioka M, Kano Y, Satoh K · 2020

Earlier work this paper cites.

Language models are few-shot learners

Brown T, Mann B, Ryder N, Subbiah M, Kaplan JD, Dhariwal P, et al · 2020

Earlier work this paper cites.

Logical english

Kowalski R · 2020

Earlier work this paper cites.

A Summary of the ALQAC 2021 Competition

Thanh NH, Quan BM, Nguyen C, Le T, Phuong NM, Binh DT, et al · 2021

Earlier work this paper cites.

Catala: A Programming Language for the Law

Merigoux D, Chataing N, Protzenko J · 2021

Earlier work this paper cites.

Overview and Discussion of the Competition on Legal Information Extraction/Entailment (COLIEE) 2021

Rabelo J, Goebel R, Kim MY, Kano Y, Yoshioka M, Satoh K · 2022

Cited alongside, same era.

ALQAC 2022: A Summary of the Competition

Nguyen C, Bui MQ, Do DT, Le NK, Nguyen DH, Nguyen TT, et al · 2022

Cited alongside, same era.

Selection-inference: Exploiting large language models for interpretable logical reasoning, 2022

Creswell A, Shanahan M, Higgins I · 2022

Cited alongside, same era.

Towards reasoning in large language models: A survey

Huang J, Chang KCC · 2022

Cited alongside, same era.

Training language models to follow instructions with human feedback

Ouyang L, Wu J, Jiang X, Almeida D, Wainwright C, Mishkin P, et al · 2022

Cited alongside, same era.

A Multi-Step Approach in Translating Natural Language into Logical Formula

Nguyen HT, Fungwacharakorn W, Nishino F, Satoh K · 2022

OpenAI. GPT-4 Technical Report; 2023

2023

Closest in time.

A negation detection assessment of GPTs: analysis with the xNot360 dataset

Nguyen HT, Goebel R, Toni F, Stathis K, Satoh K · 2023

Closest in time.

How well do SOTA legal reasoning models support abductive reasoning?

Nguyen HT, Goebel R, Toni F, Stathis K, Satoh K · 2023

Closest in time.

Improved logical reasoning of language models via differentiable symbolic programming

Zhang H, Huang J, Li Z, Naik M, Xing E · 2023

Closest in time.

Boosting logical reasoning in large language models through a new framework: The graph of thought

Lei B, Liao C, Ding C, et al · 2023

Closest in time.

Large Language Models as Tax Attorneys: A Case Study in Legal Capabilities Emergence

Nay JJ, Karamardian D, Lawsky SB, Tao W, Bhat M, Jain R, et al · 2023