activity
20232026
most citedOn the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software

7 citations · 8 across the 8 of their papers we have counts for

collaborators

8 papers

cs.SE2026

On the Robustness of Fairness Practices: A Causal Framework for Systematic Evaluation

Verya Monjezi, Ashish Kumar, Ashutosh Trivedi +2

Machine learning (ML) algorithms are increasingly deployed to make critical decisions in socioeconomic applications such as finance, criminal justice, and autonomous driving. Howev…

cs.SE2025

Uncovering Discrimination Clusters: Quantifying and Explaining Systematic Fairness Violations

Ranit Debnath Akash, Ashish Kumar, Verya Monjezi +4

Fairness in algorithmic decision-making is often framed in terms of individual fairness, which requires that similar individuals receive similar outcomes. A system violates individ…

cs.SE2025

An LLM Agentic Approach for Legal-Critical Software: A Case Study for Tax Prep Software

Sina Gogani-Khiabani, Ashutosh Trivedi, Diptikalyan Saha +1

Large language models (LLMs) show promise for translating natural-language statutes into executable logic, but reliability in legally critical settings remains challenging due to a…

cs.SE2025

Technical Challenges in Maintaining Tax Prep Software with Large Language Models

Sina Gogani-Khiabani, Varsha Dewangan, Nina Olson +2

As the US tax law evolves to adapt to ever-changing politico-economic realities, tax preparation software plays a significant role in helping taxpayers navigate these complexities.…

cs.SE2025

Fairness Testing through Extreme Value Theory

Verya Monjezi, Ashutosh Trivedi, Vladik Kreinovich +1

Data-driven software is increasingly being used as a critical component of automated decision-support systems. Since this class of software learns its logic from historical data, i…

cs.SE2024

Metamorphic Debugging for Accountable Software

Saeid Tizpaz-Niari, Shiva Darian, Ashutosh Trivedi

As the laws have become more complicated and enormous, the role of software systems in navigating and understanding these intricacies has become more critical. Given their socio-ec…

cs.SE2024★ 1 cited

Predicting Fairness of ML Software Configurations

Salvador Robles Herrera, Verya Monjezi, Vladik Kreinovich +2

This paper investigates the relationships between hyperparameters of machine learning and fairness. Data-driven solutions are increasingly used in critical socio-technical applicat…

cs.SE2023★ 7 cited

On the Potential and Limitations of Few-Shot In-Context Learning to Generate Metamorphic Specifications for Tax Preparation Software

Dananjay Srinivas, Rohan Das, Saeid Tizpaz-Niari +2

Due to the ever-increasing complexity of income tax laws in the United States, the number of US taxpayers filing their taxes using tax preparation software (henceforth, tax softwar…