Follow
Sahil Verma
Sahil Verma
IIT Kanpur → University of Washington, Seattle
Verified email at cs.washington.edu - Homepage
Title
Cited by
Cited by
Year
Fairness definitions explained
S Verma, J Rubin
2018 IEEE/ACM International Workshop on Software Fairness (FairWare), 1-7, 2018
12392018
Counterfactual explanations for machine learning: A review
S Verma, J Dickerson, K Hines
arXiv preprint arXiv:2010.10596, 2020
5902020
Amortized Generation of Sequential Algorithmic Recourses for Black-box Models
S Verma, K Hines, JP Dickerson
AAAI 2022, 2022
34*2022
Counterfactual Explanations for Machine Learning: Challenges Revisited
S Verma, J Dickerson, K Hines
arXiv preprint arXiv:2106.07756, 2021
322021
Synergistic debug-repair of heap manipulations
S Verma, S Roy
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
262017
Removing biased data to improve fairness and accuracy
S Verma, M Ernst, R Just
arXiv preprint arXiv:2102.03054, 2021
222021
Facets of fairness in search and recommendation
S Verma, R Gao, C Shah
Bias and Social Aspects in Search and Recommendation: First International …, 2020
192020
Shapeflow: Dynamic shape interpreter for tensorflow
S Verma, Z Su
arXiv preprint arXiv:2011.13452, 2020
132020
Debug-localize-repair: A symbiotic construction for heap manipulations
S Verma, S Roy
Formal Methods in System Design 58 (3), 399-439, 2021
112021
Pitfalls of explainable ML: an industry perspective
S Verma, A Lahiri, JP Dickerson, SI Lee
arXiv preprint arXiv:2106.07758, 2021
92021
RecXplainer: Post-hoc attribute-based explanations for recommender systems
S Verma, A Beniwal, N Sadagopan, A Seshadri
Progress and Challenges in Building Trustworthy Embodied AI, 2022
42022
Benchmarking symbolic execution using constraint problems-initial results
S Verma, RHC Yap
2019 IEEE 31st International Conference on Tools with Artificial …, 2019
32019
Effective Backdoor Mitigation Depends on the Pre-training Objective
S Verma, G Bhatt, S Singhal, AM Das, C Shah, JP Dickerson, J Bilmes
NeurIPS 2023 Workshop on Backdoors in Deep Learning-The Good, the Bad, and …, 2023
12023
RecRec: Algorithmic Recourse for Recommender Systems
S Verma, A Singh, V Boonsanong, JP Dickerson, C Shah
Proceedings of the 32nd ACM International Conference on Information and …, 2023
12023
Methods and apparatus for generating fast counterfactual explanations for black-box models using reinforcement learning (Patent)
S Verma, J Dickerson, K Hines
US Patent 11,403,538, 2022
2022
NAP: Noise-Based Sensitivity Analysis for Programs
J Michel*, S Verma*, B Sherman, M Carbin
WAX 2019, 2019
2019
The system can't perform the operation now. Try again later.
Articles 1–16