Collaborative Research: DASS: Assessing Accountability of Tax Preparation Software Systems

合作研究:DASS:评估报税软件系统的责任

基本信息

  • 批准号:
    2317206
  • 负责人:
  • 金额:
    $ 53万
  • 依托单位:
  • 依托单位国家:
    美国
  • 项目类别:
    Standard Grant
  • 财政年份:
    2023
  • 资助国家:
    美国
  • 起止时间:
    2023-12-01 至 2026-11-30
  • 项目状态:
    未结题

项目摘要

As the U.S. tax law frequently changes, decision-support software plays a crucial role in helping taxpayers, professionals, and the Internal Revenue Service (IRS) navigate its complexities. The use of tax preparation software has witnessed a significant increase, with over 72 million people utilizing it in 2020. However, there has been limited independent research conducted to assess the accountability of tax software. This project takes on two main challenges: i) ensuring the software's compliance, accuracy, and fairness based on tax law and experts' perspectives, and ii) enhancing scalability and precision in testing, debugging, and patching tax software. The project specifically focuses on exemptions, credits, and deductions for low-income taxpayers, with the aim of ensuring that all taxpayers, including those from vulnerable communities, pay all and only the taxes that tax law prescribes.While it is expected that software with legal and social implications should be fair and compliant with the law, the absence of formal specifications regarding expected behaviors in legal-critical domains like tax software poses significant challenges in ensuring accountability. Since U.S. tax law adheres to the legal doctrine of precedent (stare decisis), this project proposes that these specifications naturally exist as metamorphic relationships between individuals who are considered similar within a given context. The project team plans to 1) explicate metamorphic relations from a large set of challenging requirements in U.S. tax law, 2) automate the extraction of such metamorphic relations by leveraging principles from the psychology of perception pertaining to relateness, 3) develop artifacts for assessing tax software that leverages those relations using formal verification techniques, and 4) experimentally compare the tax software's accuracy and perception of procedural justice to that of human tax experts.This award reflects NSF's statutory mission and has been deemed worthy of support through evaluation using the Foundation's intellectual merit and broader impacts review criteria.
随着美国税法经常发生变化,决策支持软件在帮助纳税人,专业人士和国税局(IRS)方面起着至关重要的作用。税务准备软件的使用已大幅增长,在2020年使用了超过7200万人使用它。但是,进行了有限的独立研究来评估税收软件的问责制。该项目面临两个主要挑战:i)根据税法和专家的观点确保软件的合规性,准确性和公平性,ii)提高测试,调试和修补税收软件的可扩展性和精度。该项目特别关注低收入纳税人的豁免,信用和扣除额,以确保所有纳税人(包括来自脆弱社区的纳税人)支付所有税收的税款,而税法处方的全部和唯一的税款则应与法律和社会构成诸如法律范围的范围较大的范围,以实施税务行为,以实施税务范围,以实现正式的行为,并在法律上构成诸如法律范围的范围。问责制。由于美国税法遵守先例法律学说(Decisis),因此该项目建议这些规范自然存在是在给定背景下被认为相似的个体之间的变质关系。项目团队计划1)从美国税法中的一系列挑战性要求中解释变态关系,2)通过利用与相关性有关的感知心理学的原则来自动提取这种变态关系,3)人类税务专家。该奖项反映了NSF的法定任务,并被认为是值得通过基金会的知识分子优点和更广泛影响的评论标准来评估的。

项目成果

期刊论文数量(0)
专著数量(0)
科研奖励数量(0)
会议论文数量(0)
专利数量(0)

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

数据更新时间:{{ journalArticles.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ monograph.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ sciAawards.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ conferencePapers.updateTime }}

{{ item.title }}
  • 作者:
    {{ item.author }}

数据更新时间:{{ patent.updateTime }}

Saeid Tizpaz-Niari其他文献

Saeid Tizpaz-Niari的其他文献

{{ item.title }}
{{ item.translation_title }}
  • DOI:
    {{ item.doi }}
  • 发表时间:
    {{ item.publish_year }}
  • 期刊:
  • 影响因子:
    {{ item.factor }}
  • 作者:
    {{ item.authors }}
  • 通讯作者:
    {{ item.author }}

{{ truncateString('Saeid Tizpaz-Niari', 18)}}的其他基金

Collaborative Research: SaTC: CORE: Small: Detecting and Localizing Non-Functional Vulnerabilities in Machine Learning Libraries
协作研究:SaTC:核心:小型:检测和本地化机器学习库中的非功能性漏洞
  • 批准号:
    2230060
  • 财政年份:
    2023
  • 资助金额:
    $ 53万
  • 项目类别:
    Standard Grant

相似国自然基金

支持二维毫米波波束扫描的微波/毫米波高集成度天线研究
  • 批准号:
    62371263
  • 批准年份:
    2023
  • 资助金额:
    52 万元
  • 项目类别:
    面上项目
腙的Heck/脱氮气重排串联反应研究
  • 批准号:
    22301211
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目
水系锌离子电池协同性能调控及枝晶抑制机理研究
  • 批准号:
    52364038
  • 批准年份:
    2023
  • 资助金额:
    33 万元
  • 项目类别:
    地区科学基金项目
基于人类血清素神经元报告系统研究TSPYL1突变对婴儿猝死综合征的致病作用及机制
  • 批准号:
    82371176
  • 批准年份:
    2023
  • 资助金额:
    49 万元
  • 项目类别:
    面上项目
FOXO3 m6A甲基化修饰诱导滋养细胞衰老效应在补肾法治疗自然流产中的机制研究
  • 批准号:
    82305286
  • 批准年份:
    2023
  • 资助金额:
    30 万元
  • 项目类别:
    青年科学基金项目

相似海外基金

Collaborative Research: SWIFT-SAT: DASS: Dynamically Adjustable Spectrum Sharing between Ground Communication Networks and Earth Exploration Satellite Systems Above 100 GHz
合作研究:SWIFT-SAT:DASS:地面通信网络与 100 GHz 以上地球探测卫星系统之间的动态可调频谱共享
  • 批准号:
    2332722
  • 财政年份:
    2024
  • 资助金额:
    $ 53万
  • 项目类别:
    Standard Grant
Collaborative Research: SWIFT-SAT: DASS: Dynamically Adjustable Spectrum Sharing between Ground Communication Networks and Earth Exploration Satellite Systems Above 100 GHz
合作研究:SWIFT-SAT:DASS:地面通信网络与 100 GHz 以上地球探测卫星系统之间的动态可调频谱共享
  • 批准号:
    2332721
  • 财政年份:
    2024
  • 资助金额:
    $ 53万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Empirically Evaluating Data Fiduciary Privacy Laws
合作研究:DASS:实证评估数据信托隐私法
  • 批准号:
    2317115
  • 财政年份:
    2023
  • 资助金额:
    $ 53万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Assessing the Relationship Between Privacy Regulations and Software Development to Improve Rulemaking and Compliance
合作研究:DASS:评估隐私法规与软件开发之间的关系以改进规则制定和合规性
  • 批准号:
    2317185
  • 财政年份:
    2023
  • 资助金额:
    $ 53万
  • 项目类别:
    Standard Grant
Collaborative Research: DASS: Accountable Open Source Infrastructure
合作研究:DASS:负责任的开源基础设施
  • 批准号:
    2317169
  • 财政年份:
    2023
  • 资助金额:
    $ 53万
  • 项目类别:
    Standard Grant
{{ showInfoDetail.title }}

作者:{{ showInfoDetail.author }}

知道了