An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software
一种针对法律关键软件的LLM代理方法:以税务准备软件为例
机构 * University of Illinois Chicago(伊利诺伊大学芝加哥分校) ; University of Colorado Boulder(科罗拉多大学波德分校) ; IBM Research(IBM研究院)
专题命中 安全评测 :trustworthy(abstract);分类 cs.AI
AI总结 本文提出一种基于LLM的代理方法,用于开发法律关键软件,通过税务准备软件案例研究,展示了如何利用多代理系统和元测试技术提升法律规范到可执行代码的可靠性。
Comments To appear at ICSE 26. 12 pages