Time as Structure: Temporal Dependency Graphs for Verifiable Deadline Computation over Legal Documents
cs.CL
Submitted: 2026-08-15
Updated: 2026-10-10
Code: https://github.com/mzhirko/timebar
Sources
- DeonticBench: A Benchmark for Reasoning over Rules
- GSM-Symbolic: Understanding the Limitations of Mathematical Reasoning in Large Language Models
- Know Your Limits : On the Faithfulness of LLMs as Solvers and Autoformalizers in Legal Reasoning
Related papers
- Exploring Solution Divergence and Its Effect on Large Language Model Problem Solving
- Ishigaki-IDS-Bench: A Benchmark for Generating Information Delivery Specification from BIM Information Requirements
- Subliminal Steering: Stronger Encoding of Hidden Signals
- MedStruct-S: A Benchmark for Key Discovery, Key-Conditioned QA and Semi-Structured Extraction from OCR Clinical Reports
- The End of Transformers? On Challenging Attention and the Rise of Sub-Quadratic Architectures
- Untangling the Mechanisms of Misleading Context in Medical Question Answering