LegalTech is undergoing a fundamental shift from "conversational generation" to "structured execution." In the paper arXiv:2605.02472, the Delos AI team proposes the DACL (Deterministic Autonomous Contract Language) framework as a systematic solution to the "reasoning cliff" that large language models face in rigorous legal adjudication.
1. Reasoning Offloading: From Runtime to Compile Time
The traditional paradigm treats the LLM as a "runtime interpreter," performing probabilistic inference on every legal dispute. This approach not only carries serious hallucination risks, but its compute cost also grows linearly with adjudication frequency.
DACL introduces a Neuro-Symbolic Offloading mechanism that splits the process into two core stages:
- Compilation stage: The LLM acts as a "semantic compiler," mapping unstructured legal text into a strongly-typed DACL logic graph.
- Runtime stage: Actual contract logic, billing formulas, and adjudication execution are carried out by a deterministic symbolic engine, completely stripped of randomness.
- Title: Accurate Legal Reasoning at Scale: Neuro-Symbolic Offloading and Structural Auditability for Robust Legal Adjudication
- Authors: Stanisław Sójka, Witold Kowalczyk
- Affiliation: Delos AI Inc.
- arXiv ID: 2605.02472
- Published: 2026-05-04
- Categories: cs.AI, cs.CL
> What is Neuro-Symbolic AI? > A hybrid architecture combining artificial neural networks (strong at learning and translation) with symbolic logic systems (strong at rigorous reasoning and explanation), designed to compensate for deep learning's weaknesses in deterministic tasks.
2. ROI Evaluation of Amortized Intelligence
The paper introduces the concept of "Amortized Intelligence." In large-scale, high-frequency compliance scenarios, the approach proves highly economical:
| Metric | Probabilistic Model Inference (LRM) | DACL Offloading | Improvement | |:---|:---|:---|:---| | Accuracy | 82.4% - 88.1% | 99.5% | +11.4% | | Cost per adjudication | ~$0.15 | ~$0.007 | -95.3% | | Inference latency | 1.5s - 5s | <100ms | -90%+ |
Conclusion: Inference costs are rapidly amortized across high-frequency executions.
3. Technical Implementation of Structural Auditability
Unlike the fuzzy citations offered by RAG systems, DACL provides a complete Audit Trail. Every decision step in the system can be traced to specific atomic nodes in the logic graph. This transparency meets the hard explainability requirements of highly regulated industries such as finance and energy.
> What is Auditability? > The ability of a system to provide clear, tamper-proof decision-path records that can be verified by third parties—a core principle of legal compliance.
Conclusion
DACL's acceptance at ACL 2026 signals that legal AI has entered an "era of precise execution." For enterprises deploying high-reliability compliance systems, repositioning the LLM from "judge" to "translator" and attaching a deterministic symbolic backend has become the inevitable path of technical evolution.
---