arXiv AI
Law And Order: Tax Law Autoformalization
Read the original on arXiv AI →The Flow has not summarised this story yet — read it at arXiv AI.
Related stories
Hugging Face Trending Papers
Oct 2
Law And Order: Tax Law Autoformalization
Legal systems are increasingly implemented through software, yet scalable methods for translating legal texts into accurate symbolic representations remain underdeveloped. We study this problem throug...
arXiv Machine Learning
Jun 24
Closing the Loop: Formally Verified Law as a Reward Signal for Self-Improving Legal AI
arXiv:2606. 23913v1 Announce Type: new Abstract: This article develops an architecture that creates a formally verifiable reward signal to train legal AI, adapting the LLM proposes, verifier disposes paradigm from mathematical AI to the distinctive demands of law.
arXiv AI
Jun 16
NeuroSymbolic AI for Legal AI-TRISM: Trustworthy, Reliable, Interpretable, Safe Models
arXiv:2606. 15646v1 Announce Type: new Abstract: Large Language Models (LLMs) have transformed natural language processing, but their lack of interpretable reasoning and tendency to hallucinate pose significant challenges for legal applications.
arXiv AI
Jul 7
From Judgments to Issues: Structured Extraction of Legal Reasoning with Citation-Hallucination Control
arXiv:2607. 03325v1 Announce Type: cross Abstract: We present an automated pipeline that decomposes Italian tax-court judgments into individual legal issues and extracts, for each issue, a structured XML representation grounded in the IRAC framework and the legal syllogism.
arXiv Computation and Language
Sep 3
Using Large Language Models for Legal Decision-Making in Austrian Value-Added Tax Law: A Comparative Study
This study experimentally evaluates large language models (LLMs) for legal decision-making in Austrian and EU value‑added tax (VAT) law. It compares fine‑tuning and retrieval‑augmented generation (RAG) on textbook and real‑world tax consulting cases to identify optimal LLM configurations and assess legal‑reasoning abilities. Results show that properly configured LLMs can aid tax professionals with routine tasks and provide legally grounded justifications, though they are not yet ready for full automation due to challenges like hallucination and handling implicit client knowledge.
arXiv AI
Jun 16
Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning
arXiv:2606. 16118v1 Announce Type: new Abstract: Large Language Models (LLMs) achieve strong performance on reasoning tasks, but whether this reflects faithful logical inference or heuristic approximation remains unclear.