A Dataset for Statutory Reasoning in Tax Law Entailment and Question Answering
Not on the map. Why?
Abstract (arXiv)
Legislation can be viewed as a body of prescriptive rules expressed in natural language. The application of legislation to facts of a case we refer to as statutory reasoning, where those facts are also expressed in natural language. Computational statutory reasoning is distinct from most existing work in machine reading, in that much of the information needed for deciding a case is declared exactly once (a law), while the information needed in much of machine reading tends to be learned through distributional language statistics. To investigate the performance of natural language understanding approaches on statutory reasoning, we introduce a dataset, together with a legal-domain text corpus. Straightforward application of machine reading models exhibits low out-of-the-box performance on our questions, whether or not they have been fine-tuned to the legal domain. We contrast this with a hand-constructed Prolog-based system, designed to fully solve the task. These experiments support a discussion of the challenges facing statutory reasoning moving forward, which we argue is an interesting real-world task that can motivate the development of models able to utilize prescriptive rules specified in natural language.
Key facts. Cited by 61 papers in the map (data through 7 Oct 2026). First posted on arXiv 11 May 2020.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2021: 9; 2022: 6; 2023: 8; 2024: 9; 2025: 7; 2026: 22.
61 papers.
Sort:
By area:
- 2023Challenges and Applications of Large Language Modelscited by 251
- 2021CUAD: An Expert-Annotated NLP Dataset for Legal Contract Reviewcited by 232
- 2021ContractNLI: A Dataset for Document-level Natural Language Inference for Contractscited by 145
- 2023Can GPT-3 Perform Statutory Reasoning?cited by 71
- 2022Legal Prompt Engineering for Multilingual Legal Judgement Predictioncited by 54
- 2023"According to ...": Prompting Language Models Improves Quoting from Pre-Training Datacited by 42
- 2021A Statutory Article Retrieval Dataset in Frenchcited by 40
- 2025A Reasoning-Focused Legal Retrieval Benchmarkcited by 37
- 2023Interpretable Long-Form Legal Question Answering with Retrieval-Augmented Large Language Modelscited by 35
- 2021Flexible Generation of Natural Language Deductionscited by 28
- 2024A Survey of Useful LLM Evaluationcited by 28
- 2021Factoring Statutory Reasoning as Language Understanding Challengescited by 20
38 more
- 2024Stress-Testing Long-Context Language Models with Lifelong ICL and Task Haystackcited by 19
- 2024CLERC: A Dataset for Legal Case Retrieval and Retrieval-Augmented Analysis Generationcited by 18
- 2023Zero-shot Transfer of Article-aware Legal Outcome Classification for European Court of Human Rights Casescited by 14
- 2021A Survey on Legal Question Answering Systemscited by 10
- 2023BLT: Can Large Language Models Handle Basic Legal Text?cited by 10
- 2024LawInstruct: A Resource for Studying Language Model Adaptation to the Legal Domaincited by 10
- 2025VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checkscited by 10
- 2021Semi-Supervised Text Classification via Self-Pretrainingcited by 8
- 2022The Legal Argument Reasoning Task in Civil Procedurecited by 8
- 2021Cross-Policy Compliance Detection via Question Answeringcited by 7
- 2026Faithful Autoformalization via Roundtrip Verification and Repaircited by 6
- 2024Automating IRAC Analysis in Malaysian Contract Law using a Semi-Structured Knowledge Basecited by 5
- 2021Evaluating Document Representations for Content-based Legal Literature Recommendationscited by 4
- 2023No Strong Feelings One Way or Another: Re-operationalizing Neutrality in Natural Language Inferencecited by 4
- 2022Multiple-Source Domain Adaptation via Coordinated Domain Encoders and Paired Classifierscited by 3
- 2022Creation and Analysis of an International Corpus of Privacy Lawscited by 3
- 2024Software Engineering Methods For AI-Driven Deductive Legal Reasoningcited by 3
- 2025Taxation Perspectives from Large Language Models: A Case Study on Additional Tax Penaltiescited by 3
- 2026OpenExempt: A Diagnostic Benchmark for Legal Reasoning and a Framework for Creating Custom Benchmarks on Demandcited by 3
- 2026JudgmentBench: Comparing Rubric and Preference Evaluation for Quality Assessmentcited by 3
- 2026Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoningcited by 3
- 2023NOWJ1@ALQAC 2023: Enhancing Legal Task Performance with Classic Statistical Models and Pre-trained Language Modelscited by 2
- 2022Policy Compliance Detection via Expression Tree Inferencecited by 1
- 2022Validity Assessment of Legal Will Statements as Natural Language Inferencecited by 1
- 2024Evaluating LLM-based Approaches to Legal Citation Prediction: Domain-specific Pre-training, Fine-tuning, or RAG? A Benchmark and an Australian Law Case Studycited by 1
- 2024A Comprehensive Framework for Reliable Legal AI: Combining Specialized Expert Systems and Adaptive Refinementcited by 1
- 2025LegalViz: Legal Text Visualization by Text To Diagram Generationcited by 1
- 2026Evaluation of Large Language Models in Legal Applications: Challenges, Methods, and Future Directionscited by 1
- 2026Where Experts Disagree, Models Fail: Detecting Implicit Legal Citations in French Court Decisionscited by 1
- 2026From Statute to Control Flow: Span-Grounded Deontic Trees for Defeasible Scope Parsingcited by 1
- 2026Reasoning Consensus: Structural Ensembling of LLM Reasoning via Weighted DAG Aggregationcited by 1
- 2024A Method for Detecting Legal Article Competition for Korean Criminal Law Using a Case-augmented Mention Graphcited by 0
- 2025Transformer-Based Extraction of Statutory Definitions from the U.S. Codecited by 0
- 2025LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Codecited by 0
- 2025Streamlining Industrial Contract Management with Retrieval-Augmented LLMscited by 0
- 2026AI-Assisted Moot Courts: Simulating Justice-Specific Questioning in Oral Argumentscited by 0
- 2026Learning When Not to Decide: A Framework for Overcoming Factual Presumptuousness in AI Adjudicationcited by 0
- 2026Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Lawcited by 0
50 most cited of 61 All 61 (JSON)
- 2026LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers18 Sep 2026
- 2026How Much is a Human Right Worth? ECtHR-NPD: A Benchmark for Predicting Non-Pecuniary Damage Awards16 Sep 2026
- 2026Solving versus Verifying: Catching Contradictions in Tax Reasoning Systems5 Sep 2026
- 2026Right-Sizing LLM-Agent Decomposition in VAT Determination: A Pilot Controlled Sweep24 Aug 2026
- 2026Grounded Normative Rule Generation with Structured Search23 Aug 2026
- 2026Time as Structure: Temporal Dependency Graphs for Verifiable Deadline Computation over Legal Documents15 Aug 2026
- 2026Toward Human Rights Benchmarking for LLMs: A Pilot Methodology10 Aug 2026
- 2026Reasoning Consensus: Structural Ensembling of LLM Reasoning via Weighted DAG Aggregation30 Jul 2026
- 2026CRAFT: Clustering Rubrics to Diagnose Weak LLM Capabilities and Generate Targeted Fine-Tuning Data17 Jul 2026
- 2026Imprompt: A Language Framework for Prompt Programming13 Jul 2026
- 2026Freeing the Law with LOCUS: A Local Ordinance Corpus for the United States17 Jun 2026
- 2026Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning15 Jun 2026
38 more
- 2026From Statute to Control Flow: Span-Grounded Deontic Trees for Defeasible Scope Parsing8 Jun 2026
- 2026JudgmentBench: Comparing Rubric and Preference Evaluation for Quality Assessment24 May 2026
- 2026LP-Eval: Rubric and Dataset for Measuring the Quality of Legal Proposition Generation19 May 2026
- 2026Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Law15 May 2026
- 2026Faithful Autoformalization via Roundtrip Verification and Repair27 Apr 2026
- 2026Learning When Not to Decide: A Framework for Overcoming Factual Presumptuousness in AI Adjudication21 Apr 2026
- 2026Where Experts Disagree, Models Fail: Detecting Implicit Legal Citations in French Court Decisions24 Mar 2026
- 2026AI-Assisted Moot Courts: Simulating Justice-Specific Questioning in Oral Arguments5 Mar 2026
- 2026Evaluation of Large Language Models in Legal Applications: Challenges, Methods, and Future Directions21 Jan 2026
- 2026OpenExempt: A Diagnostic Benchmark for Legal Reasoning and a Framework for Creating Custom Benchmarks on Demand19 Jan 2026
- 2025Streamlining Industrial Contract Management with Retrieval-Augmented LLMs18 Nov 2025
- 2025LLM-Assisted Formalization Enables Deterministic Detection of Statutory Inconsistency in the Internal Revenue Code15 Nov 2025
- 2025VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks6 Nov 2025
- 2025A Reasoning-Focused Legal Retrieval Benchmark6 May 2025
- 2025Transformer-Based Extraction of Statutory Definitions from the U.S. Code23 Apr 2025
- 2025Taxation Perspectives from Large Language Models: A Case Study on Additional Tax Penalties5 Mar 2025
- 2025LegalViz: Legal Text Visualization by Text To Diagram Generation10 Feb 2025
- 2024A Comprehensive Framework for Reliable Legal AI: Combining Specialized Expert Systems and Adaptive Refinement29 Dec 2024
- 2024A Method for Detecting Legal Article Competition for Korean Criminal Law Using a Case-augmented Mention Graph16 Dec 2024
- 2024Evaluating LLM-based Approaches to Legal Citation Prediction: Domain-specific Pre-training, Fine-tuning, or RAG? A Benchmark and an Australian Law Case Study9 Dec 2024
- 2024Stress-Testing Long-Context Language Models with Lifelong ICL and Task Haystack23 Jul 2024
- 2024CLERC: A Dataset for Legal Case Retrieval and Retrieval-Augmented Analysis Generation24 Jun 2024
- 2024Automating IRAC Analysis in Malaysian Contract Law using a Semi-Structured Knowledge Base19 Jun 2024
- 2024A Survey of Useful LLM Evaluation3 Jun 2024
- 2024Software Engineering Methods For AI-Driven Deductive Legal Reasoning15 Apr 2024
- 2024LawInstruct: A Resource for Studying Language Model Adaptation to the Legal Domain2 Apr 2024
- 2023BLT: Can Large Language Models Handle Basic Legal Text?16 Nov 2023
- 2023Interpretable Long-Form Legal Question Answering with Retrieval-Augmented Large Language Models29 Sep 2023
- 2023NOWJ1@ALQAC 2023: Enhancing Legal Task Performance with Classic Statistical Models and Pre-trained Language Models16 Sep 2023
- 2023Challenges and Applications of Large Language Models19 Jul 2023
- 2023No Strong Feelings One Way or Another: Re-operationalizing Neutrality in Natural Language Inference16 Jun 2023
- 2023"According to ...": Prompting Language Models Improves Quoting from Pre-Training Data22 May 2023
- 2023Can GPT-3 Perform Statutory Reasoning?13 Feb 2023
- 2023Zero-shot Transfer of Article-aware Legal Outcome Classification for European Court of Human Rights Cases1 Feb 2023
- 2022Legal Prompt Engineering for Multilingual Legal Judgement Prediction5 Dec 2022
- 2022The Legal Argument Reasoning Task in Civil Procedure5 Nov 2022
- 2022Validity Assessment of Legal Will Statements as Natural Language Inference30 Oct 2022
- 2022Creation and Analysis of an International Corpus of Privacy Laws28 Jun 2022
50 newest of 61 All 61 (JSON)
- 2025A Reasoning-Focused Legal Retrieval Benchmarkcited by 37
- 2025VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checkscited by 10
- 2022The Legal Argument Reasoning Task in Civil Procedurecited by 8
- 2023No Strong Feelings One Way or Another: Re-operationalizing Neutrality in Natural Language Inferencecited by 4
- 2024Software Engineering Methods For AI-Driven Deductive Legal Reasoningcited by 3
- 2026OpenExempt: A Diagnostic Benchmark for Legal Reasoning and a Framework for Creating Custom Benchmarks on Demandcited by 3
- 2026Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoningcited by 3
- 2026Reasoning Consensus: Structural Ensembling of LLM Reasoning via Weighted DAG Aggregationcited by 1
- 2026Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Lawcited by 0
- 2026Solving versus Verifying: Catching Contradictions in Tax Reasoning Systemscited by 0
- 2026LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solverscited by 0
- 2026LogicTrack: Auditing Reasoning Trajectories of Large Language Models with Formal Logic Solvers18 Sep 2026
- 2026Solving versus Verifying: Catching Contradictions in Tax Reasoning Systems5 Sep 2026
- 2026Reasoning Consensus: Structural Ensembling of LLM Reasoning via Weighted DAG Aggregation30 Jul 2026
- 2026Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning15 Jun 2026
- 2026Reasoners or Translators? Contamination-aware Evaluation and Neuro-Symbolic Robustness in Tax Law15 May 2026
- 2026OpenExempt: A Diagnostic Benchmark for Legal Reasoning and a Framework for Creating Custom Benchmarks on Demand19 Jan 2026
- 2025VeriCoT: Neuro-symbolic Chain-of-Thought Validation via Logical Consistency Checks6 Nov 2025
- 2025A Reasoning-Focused Legal Retrieval Benchmark6 May 2025
- 2024Software Engineering Methods For AI-Driven Deductive Legal Reasoning15 Apr 2024
- 2023No Strong Feelings One Way or Another: Re-operationalizing Neutrality in Natural Language Inference16 Jun 2023
- 2022The Legal Argument Reasoning Task in Civil Procedure5 Nov 2022
- 2023Challenges and Applications of Large Language Modelscited by 251
- 2021CUAD: An Expert-Annotated NLP Dataset for Legal Contract Reviewcited by 232
- 2021ContractNLI: A Dataset for Document-level Natural Language Inference for Contractscited by 145
- 2023Can GPT-3 Perform Statutory Reasoning?cited by 71
- 2022Legal Prompt Engineering for Multilingual Legal Judgement Predictioncited by 54
- 2023"According to ...": Prompting Language Models Improves Quoting from Pre-Training Datacited by 42
- 2021A Statutory Article Retrieval Dataset in Frenchcited by 40
- 2021Flexible Generation of Natural Language Deductionscited by 28
- 2024A Survey of Useful LLM Evaluationcited by 28
- 2021Factoring Statutory Reasoning as Language Understanding Challengescited by 20
- 2024Stress-Testing Long-Context Language Models with Lifelong ICL and Task Haystackcited by 19
- 2023Zero-shot Transfer of Article-aware Legal Outcome Classification for European Court of Human Rights Casescited by 14
12 most cited of 46 All 46 (JSON)
- 2026How Much is a Human Right Worth? ECtHR-NPD: A Benchmark for Predicting Non-Pecuniary Damage Awards16 Sep 2026
- 2026Grounded Normative Rule Generation with Structured Search23 Aug 2026
- 2026Time as Structure: Temporal Dependency Graphs for Verifiable Deadline Computation over Legal Documents15 Aug 2026
- 2026Toward Human Rights Benchmarking for LLMs: A Pilot Methodology10 Aug 2026
- 2026CRAFT: Clustering Rubrics to Diagnose Weak LLM Capabilities and Generate Targeted Fine-Tuning Data17 Jul 2026
- 2026Imprompt: A Language Framework for Prompt Programming13 Jul 2026
- 2026Freeing the Law with LOCUS: A Local Ordinance Corpus for the United States17 Jun 2026
- 2026From Statute to Control Flow: Span-Grounded Deontic Trees for Defeasible Scope Parsing8 Jun 2026
- 2026JudgmentBench: Comparing Rubric and Preference Evaluation for Quality Assessment24 May 2026
- 2026LP-Eval: Rubric and Dataset for Measuring the Quality of Legal Proposition Generation19 May 2026
- 2026Faithful Autoformalization via Roundtrip Verification and Repair27 Apr 2026
- 2026Learning When Not to Decide: A Framework for Overcoming Factual Presumptuousness in AI Adjudication21 Apr 2026
12 newest of 46 All 46 (JSON)