論文の概要: Ergo -- a programming language for Smart Legal Contracts
- arxiv url: http://arxiv.org/abs/2112.07064v2
- Date: Thu, 23 Dec 2021 15:11:14 GMT
- ステータス: 処理完了
- システム内更新日: 2023-03-04 16:13:58.856298
- Title: Ergo -- a programming language for Smart Legal Contracts
- Title(参考訳): Ergo - スマートな法律契約のためのプログラミング言語
- Authors: Niall Roche, Walter Hernandez, Eason Chen, J\'er\^ome Sim\'eon, Dan
Selman
- Abstract要約: 我々は、幅広いスマートな法律契約のユースケースをサポートするスマートな法律契約プラットフォームを提示する。
これは、法的な合意の複雑さを表現し、これらの合意の側面を実行するための既存のアプローチを改善するためのステップであると考えています。
- 参考スコア(独自算出の注目度): 0.0
- License: http://creativecommons.org/licenses/by/4.0/
- Abstract: We present a smart legal contract platform to support a wide range of smart
legal contract use cases. We see this as a step towards improving existing
approaches to representing the complexity of legal agreements and executing
aspects of these agreements.
- Abstract(参考訳): 我々は、幅広いスマートな法律契約のユースケースをサポートするスマートな法律契約プラットフォームを提示する。
これは、法的合意の複雑さを表現し、これらの合意の側面を実行するための既存のアプローチを改善するためのステップであると考えています。
関連論文リスト
- LawLLM: Law Large Language Model for the US Legal System [43.13850456765944]
我々は,米国法域に特化して設計されたマルチタスクモデルであるLawLLM(Law Large Language Model)を紹介する。
類似症例検索(SCR)、PCR(Precedent Case Recommendation)、LJP(Lawal Judgment Prediction)においてLawLLMが優れている
そこで本研究では,各タスクに対して,生の法定データをトレーニング可能な形式に変換する,カスタマイズされたデータ前処理手法を提案する。
論文 参考訳(メタデータ) (2024-07-27T21:51:30Z) - LegalPro-BERT: Classification of Legal Provisions by fine-tuning BERT Large Language Model [0.0]
契約分析は、合意の範囲内で重要な規定及び段落の識別及び分類を必要とする。
LegalPro-BERTはBERTトランスフォーマーアーキテクチャモデルであり、法定条項の分類処理を効率的に行うために微調整を行う。
論文 参考訳(メタデータ) (2024-04-15T19:08:48Z) - Formally Verifying a Real World Smart Contract [52.30656867727018]
われわれは、Solidityの最新バージョンで書かれた現実世界のスマートコントラクトを正式に検証できるツールを検索する。
本稿では,最近のSolidityで書かれた実世界のスマートコントラクトを正式に検証できるツールについて紹介する。
論文 参考訳(メタデータ) (2023-07-05T14:30:21Z) - CLawK: Monitoring Business Processes in Smart Contracts [2.3709422532220805]
本稿では,DCRグラフで記述されたビジネスプロセス仕様を利用して,スマートコントラクト実行のランタイム検証を行うランタイム監視ツールであるCLawKを紹介する。
我々は、CLawKがコードインスツルメンテーションや追加のガスコストなしで、ネットワークにデプロイされたスマートコントラクトの特定の振る舞いから逸脱を検出し、フラグを立てる方法について実証する。
論文 参考訳(メタデータ) (2023-05-14T21:33:19Z) - SAILER: Structure-aware Pre-trained Language Model for Legal Case
Retrieval [75.05173891207214]
判例検索は知的法体系において中心的な役割を果たす。
既存の言語モデルの多くは、異なる構造間の長距離依存関係を理解するのが難しい。
本稿では, LEgal ケース検索のための構造対応プレトランザクショナル言語モデルを提案する。
論文 参考訳(メタデータ) (2023-04-22T10:47:01Z) - Investigating Strategies for Clause Recommendation [12.913021807351328]
本稿では,類似契約の表現の重要性について考察する。
コントラクトで一般的に発生する15の節タイプに対する節を生成します。
我々は、類似の契約から得られる情報を用いて、様々な設定で条項レコメンデーションを分析する。
論文 参考訳(メタデータ) (2023-01-21T11:03:47Z) - ConReader: Exploring Implicit Relations in Contracts for Contract Clause
Extraction [84.0634340572349]
法律契約における暗黙の関係をモデル化し,契約条項の自動抽出(CCE)について検討する。
本研究ではまず,契約の複雑性問題を包括的に分析し,契約に共通する3つの暗黙の関係を抽出する。
本稿では,上記の3つの関係を利用して,より優れたコントラクト理解とCCEの改善を実現するための新しいフレームワークであるConReaderを提案する。
論文 参考訳(メタデータ) (2022-10-17T02:15:18Z) - From Legal Contracts to Legal Calculi: the code-driven normativity [0.0]
法的な契約を(信頼できない)当事者間の相互作用プロトコルとして解釈することで、並行システムのための形式的な方法やツールを法的な設定に一般化できることを示す。
論文 参考訳(メタデータ) (2022-09-06T10:38:19Z) - Computable Contracts in the Financial Services Industry [1.713291434132985]
計算可能な契約は、コンピュータが読み、理解し、実行できる契約である。
金融サービス業界における計算可能な契約の使用は、顧客エクスペリエンスの大幅な改善につながると我々は主張する。
論文 参考訳(メタデータ) (2022-07-03T00:06:39Z) - Detecting Logical Relation In Contract Clauses [94.85352502638081]
契約における節間の論理的関係の抽出を自動化する手法を開発する。
結果として得られたアプローチは、コントラクト作者が節間の潜在的な論理的衝突を検出するのに役立つだろう。
論文 参考訳(メタデータ) (2021-11-02T19:26:32Z) - How Does NLP Benefit Legal System: A Summary of Legal Artificial
Intelligence [81.04070052740596]
法律人工知能(Legal AI)は、人工知能、特に自然言語処理の技術を適用して、法的領域におけるタスクに役立てることに焦点を当てている。
本稿では,LegalAIにおける研究の歴史,現状,今後の方向性について紹介する。
論文 参考訳(メタデータ) (2020-04-25T14:45:15Z)
関連論文リストは本サイト内にある論文のタイトル・アブストラクトから自動的に作成しています。
指定された論文の情報です。
本サイトの運営者は本サイト(すべての情報・翻訳含む)の品質を保証せず、本サイト(すべての情報・翻訳含む)を使用して発生したあらゆる結果について一切の責任を負いません。