Isaacus 开源法律冲突检测器：编码器模型 20 秒完成条款级比对
ladyofcode · reddit · 2026-11-13
Isaacus 的法律工程师 Tabs 发布了一个 MIT 许可的开源法律冲突检测工具，用纯编码器模型（NLI/零样本分类/reranker）替代 LLM 做条款级文档比对。
为什么不用 LLM：条款级成对审查是二次方问题——两份各 133 条的文档需 17689 次 API 调用，用 Opus 级模型既慢又贵；直接把文件丢给 Claude/GPT 则召回弱、易幻觉。非生成式模型的误判不是「幻觉」（不会引入域外内容）。
六步管线：
- Enrich：把文档解析为章节-条款-子条款的层级树；
- Embed：每条条款向量化；
- Filter：法律零样本分类器剔除脚注、签名栏等非实体条款；
- Shortlist：按余弦相似度≥0.5 保留每条款在参照文档中最相关的 3 个配对；
- Score：reranker 打相关性分、分类器做 NLI 蕴含判断；
- Sort：同主题但冲突分高 → 偏差（deviation）；无同主题匹配 → 缺口（gap）。
最长的文档对全管线 20 秒内跑完。可在其上接 LLM 做结果摘要或改写条款——由于生成步骤只在冲突已确定后运行，LLM 无法凭空「造出」冲突。
演示：对 Bob Iger 2011 与 2022 年迪士尼雇佣协议做比对，发现多处冲突，且 2011 版对 Iger 更有利；例如 2011 版没有 IP 转让条款，而 2022 版要求他将工作相关 IP 全部转让给迪士尼。
所属事件:Isaacus 开源纯编码器法律冲突检测器 20 秒比对双合同(3 条相关)→
「编程与Agent」频道最新
- HiVe-Mem：NTU 提出多模态智能体长期记忆新框架 — NanyangTechnologicalUniversity · 2026-11-13
- ArtCraft 用 AI 复刻 Photoshop：已开源 17 个软件，还喊话重建整个互联网 — altryne · 2026-11-13
- 安全从业者质疑:AI 安全产品别再给 SOC 添一个仪表盘 — RileyNet44 · 2026-11-13
- 当玩游戏和做游戏变成同一件事：coding agent 重塑游戏开发经济 — TAbrodi · 2026-11-13
- Firecrawl CTO 讲述开源项目从 1000 星到 120 万开发者的路径 — garrytan · 2026-11-13
- 花一个月云服务钱买台迷你主机，把 Agent 全部搬回本地跑 — jiayuan_jy · 2026-11-13