Learning to Check Contract Inconsistencies
Shuo Zhang, Junzhou Zhao, Pinghui Wang, Nuo Xu, Yang Yang, Yiting Liu, Yi Huang, Junlan Feng
Abstract
Contract consistency is important in ensuring the legal validity of the contract. In many scenarios, a contract is written by filling the blanks in a precompiled form. Due to carelessness, two blanks that should be filled with the same (or different) content may be incorrectly filled with different (or same) content. This will result in the issue of contract inconsistencies, which may severely impair the legal validity of the contract. Traditional methods to address this issue mainly rely on manual contract review, which is labor-intensive and costly. In this work, we formulate a novel Contract Inconsistency Checking (CIC) problem, and design an end-to-end framework, called Pair-wise Blank Resolution (PBR), to solve the CIC problem with high accuracy. Our PBR model contains a novel BlankCoder to address the challenge of modeling meaningless blanks. BlankCoder adopts a two-stage attention mechanism that adequately associates a meaningless blank with its relevant descriptions while avoiding the incorporation of irrelevant context words. Experiments conducted on real-world datasets show the promising performance of our method with a balanced accuracy of 94.05% and an F1 score of 90.90% in the CIC problem.
Ask about this paper
Your agent reads all of it.
Lune indexed this paper to the last equation, along with the top-tier papers that cite it. Ask a question and the answer quotes them.
Cited by top-tier papers3
- Robust and Transferable Log-based Anomaly DetectionPeng Jia, Shaofeng Cai, Beng Chin Ooi, Pinghui Wang et al.SIGMOD 2023 · 26 citations
- ProvBench: A Benchmark of Legal Provision Recommendation for Contract Auto-ReviewingXiuxuan Shen, Zhongyuan Jiang, Junsan Zhang, Junxiao Han et al.ACL 2025 · 2 citations
- Multi-Action Dialog Policy Learning from Logged User FeedbackShuo Zhang, Junzhou Zhao, Pinghui Wang, Tianxiang Wang et al.AAAI 2023
Related papers
- SmartCoCo: Checking Comment-Code Inconsistency in Smart Contracts via Constraint Propagation and BindingSicheng Hao, Yuhong Nan, Zibin Zheng, Xiaohui LiuASE 2023 · 7 citations
- Automating User Notice Generation for Smart Contract FunctionsXing Hu, Zhipeng Gao, Xin Xia, David Lo et al.ASE 2021 · 23 citations
- Detecting Code-Comment Inconsistencies in Smart Contracts by Combining LLM and Program AnalysisJiashuo Zhang, Jiachi Chen, Ting Zhang, Yue Li et al.FSE 2026
- Nalin: learning from Runtime Behavior to Find Name-Value Inconsistencies in Jupyter NotebooksJibesh Patra, Michael PradelICSE 2022 · 14 citations
- From Completion to Editing: Unlocking Context-Aware Code Infilling via Search-and-Replace Instruction TuningJiajun Zhang, Zeyu Cui, Jiaxi Yang, Lei Zhang et al.ACL 2026 · 8 citations
