論文の概要: Time as Structure: Temporal Dependency Graphs for Verifiable Deadline Computation over Legal Documents
- arxiv url: http://arxiv.org/abs/2608.15270v1
- Date: Sat, 15 Aug 2026 15:14:46 GMT
- ステータス: 翻訳完了
- システム内更新日: 2026-08-18 19:59:03.245204
- Title: Time as Structure: Temporal Dependency Graphs for Verifiable Deadline Computation over Legal Documents
- Title（参考訳）: 構造としての時間: 法的文書上でのデッドライン計算の検証のための時間依存グラフ
- Abstract要約: 我々は、言語モデルがこのような質問に直接答えるべきなのか、それとも文書を読んで算術をコードに任せるべきなのかを問う。
日付付き事実とその依存関係を時間依存グラフに抽出し、カレンダーの正しいエンジンで期限を計算します。
- 参考スコア（独自算出の注目度）: 12.034951231608504
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: Miss a filing deadline by one day and the claim is barred, however strong the case. Computing that deadline is rarely simple: the period runs from a triggering event, is counted by a statutory convention, and may be suspended by a mandatory conciliation window. We ask whether a language model should answer such questions directly, or read the document and leave the arithmetic to code. We extract dated facts and their dependencies into a temporal dependency graph and compute deadlines from it with a calendar-correct engine. On UK Employment Appeal Tribunal judgments the engine reproduces six of seven timeliness rulings, and matches the judges' own dates to the day. The strongest of four language models, asked the same cases, gets the arithmetic right and the answer wrong: in six of twenty-one responses its stated verdict contradicts its own thinking, and every contradiction runs the same way, calling a late claim timely. To test the systems at scale we move the dismissal date across the statutory boundary, generating 427 cases whose answers are computed rather than annotated. On the cases both systems answer, the pipeline is right 90.2% of the time against 61.2% for direct answering. The limit is extraction: on contracts the errors are almost never in the arithmetic, but in choosing which event the period starts from.
- Abstract（参考訳）: 提出期限が1日遅れると、請求は禁止されるが、この訴訟は強くなる。
この期間はトリガーイベントから始まり、法定慣例によってカウントされ、強制的な調停ウィンドウによって停止される。
我々は、言語モデルがこのような質問に直接答えるべきなのか、それとも文書を読んで算術をコードに任せるべきなのかを問う。
日付付き事実とその依存関係を時間依存グラフに抽出し、カレンダーの正しいエンジンで期限を計算します。
英国雇用控訴裁判所の判断では、エンジンは7つの規則のうち6つを再現し、裁判官自身の日付と一致している。
4つの最強の言語モデルのうち、同じケースを問うと、算術的権利と答えが間違っている。21の回答のうち6つにおいて、その決定は自身の思考と矛盾し、全ての矛盾は同じ方法で実行され、遅滞な主張をタイムリーに呼び出す。
システムを大規模にテストするために、除消日を法定境界を越えて移動させ、アノテートするのではなく、回答が計算された427のケースを生成します。
両方のシステムが答える場合、パイプラインは正しい90.2%であり、直接答えは61.2%である。
制限は抽出である: 契約ではエラーはほとんど算術では発生しないが、周期がどのイベントから始まるかを選択する。
関連論文リスト
- Quipu: A Governed Bitemporal Knowledge Graph Store [0.0]
Quipuは4つのデフォルトを逆転する組み込み可能なナレッジストアだ。
議事録が保留中のポストステートを評価するゲートを経由する以外は、事実は入らない。
支配的な作家からの痕跡は、その修復によって監査名のライブ執行のギャップを表面化する。
論文 参考訳（メタデータ） (2026-08-17T17:04:29Z) - Temporal Misgrounding in Legal RAG: A Versioned-Corpus Benchmark for French Tax Law [0.0]
我々は,現在施行中の法律記事の体系的検索と引用という,時間的誤動作を特定し,定量化する。
われわれはFiscalQA Proを導入し、フランスの税法典の32,436項目のコーパスと、すべてモデルに固執した時間的推論トラックを組み合わせている。
オラクルなしのマルチバージョンインデックス上のエンドツーエンドレトリバーは、98.3%という厳密な値に達した。
論文 参考訳（メタデータ） (2026-08-10T10:20:13Z) - Time Present and Time Past: Benchmarking Large Language Models on Temporally Evolving Document Understanding [3.285110528753401]
法律、税法、ソフトウェア文書などの進化した文書は、修正され、置き換えられ、時には時間とともに復活する。
我々は、バングラデシュ政府によって発行された644の公式税関の計3,050対のQAに関する専門家が検証したベンチマークであるTIDEを提示する。
論文 参考訳（メタデータ） (2026-08-09T06:17:41Z) - Split Tallies: A Discrete Certificate Calculus for Auditing Dynamic Ordered Sets in Constant Memory [0.2864713389096699]
信頼できない当事者が維持する動的順序集合に対するふりかえり監査について検討する。
リーフ指向(2,4)-ツリーは、操作毎にO(log n)最悪のケースタイムを要素ごとに1つの余分な単語でメンテナを実装する。
論文 参考訳（メタデータ） (2026-06-11T12:25:43Z) - How Much Thinking is Enough? Quantifying and Understanding Redundancy in LLM Reasoning [11.159657169036564]
推論可能な大きな言語モデルは、長いチェーンの思考を出力することで難しい問題を解決する。
しかし、この議論のどれ程が実際に必要かは、スケールで測定されることも、第一原理から説明されることもない。
我々は推論モデル自体の観点で推論冗長性を直接定式化する。
論文 参考訳（メタデータ） (2026-04-21T05:32:02Z) - DeonticBench: A Benchmark for Reasoning over Rules [52.69517904415795]
DEONTICBENCHは、アメリカ合衆国連邦政府の税、航空会社の荷物政策、移民管理、および合衆国の住宅法に関する6,232のタスクのベンチマークである。
これは、実世界のドメインにおいて、象徴的および非象徴的な設定の下でコンテキスト基底ルール推論を研究するためのベンチマークである。
論文 参考訳（メタデータ） (2026-04-06T05:41:02Z) - Programming over Thinking: Efficient and Robust Multi-Constraint Planning [54.77940831026738]
SCOPEは、クエリ固有の推論をジェネリックコード実行から切り離すフレームワークである。
SCOPEは、コストとレイテンシを下げながら最先端のパフォーマンスを達成する。
論文 参考訳（メタデータ） (2026-01-14T02:58:07Z) - FIRE: Fact-checking with Iterative Retrieval and Verification [63.67320352038525]
FIREはエビデンス検索とクレーム検証を反復的に統合する新しいフレームワークである。
大きな言語モデル(LLM)のコストを平均7.6倍、検索コストを16.5倍削減しながら、パフォーマンスが若干向上している。
これらの結果から,FIREは大規模ファクトチェック業務における適用を約束していることが明らかとなった。
論文 参考訳（メタデータ） (2024-10-17T06:44:18Z) - Unlocking Temporal Question Answering for Large Language Models with Tailor-Made Reasoning Logic [84.59255070520673]
大きな言語モデル(LLM)は、時間的推論に関わる際に課題に直面します。
本研究では,時間的質問応答タスクに特化して設計された新しいフレームワークであるTempLogicを提案する。
論文 参考訳（メタデータ） (2023-05-24T10:57:53Z) - Mitigating Temporal Misalignment by Discarding Outdated Facts [58.620269228776294]
大規模な言語モデルは、しばしば時間的ミスアライメントの下で使われ、現在に関する質問に答える。
我々は、ある事実がいつまで真実であるかを予測するタスクとして、事実期間予測を提案する。
私たちのデータとコードはhttps://github.com/mikejqzhang/mitigating_misalignment.comで公開されています。
論文 参考訳（メタデータ） (2023-05-24T07:30:08Z) - Temporal Reasoning on Implicit Events from Distant Supervision [91.20159064951487]
本稿では,暗黙的事象の理解度を評価する新しい時間的推論データセットを提案する。
我々は、暗黙の出来事と明示的な出来事の間の時間的関係を予測する際に、最先端のモデルが苦労していることを発見した。
本稿では,大規模テキストからの遠隔監視信号を利用して終末時刻を推定する,ニューロシンボリックな時間的推論モデルSYMTIMEを提案する。
論文 参考訳（メタデータ） (2020-10-24T03:12:27Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト（すべての情報・翻訳含む）の品質を保証せず、本サイト（すべての情報・翻訳含む）を使用して発生したあらゆる結果について一切の責任を負いません。