Showing 2024Show all
2 papers · 1 filter
cs.PL2024
Probabilistic Guarantees for Practical LIA Loop Invariant Automation
Ashish Kumar, Jilaun Zhang, Saeid Tizpaz-Niari +1
Despite the crucial need for formal safety and security verification of programs, discovering loop invariants remains a significant challenge. Static analysis is a primary techniqu…
cs.LG2024
NeuFair: Neural Network Fairness Repair with Dropout
Vishnu Asutosh Dasu, Ashish Kumar, Saeid Tizpaz-Niari +1
This paper investigates neuron dropout as a post-processing bias mitigation for deep neural networks (DNNs). Neural-driven software solutions are increasingly applied in socially c…