Obserwuj
Sahil Verma
Sahil Verma
IIT Kanpur → University of Washington, Seattle
Zweryfikowany adres z cs.washington.edu - Strona główna
Tytuł
Cytowane przez
Cytowane przez
Rok
Fairness definitions explained
S Verma, J Rubin
2018 IEEE/ACM International Workshop on Software Fairness (FairWare), 1-7, 2018
15142018
Counterfactual explanations for machine learning: A review
S Verma, J Dickerson, K Hines
arXiv preprint arXiv:2010.10596, 2020
776*2020
Counterfactual Explanations for Machine Learning: Challenges Revisited
S Verma, J Dickerson, K Hines
arXiv preprint arXiv:2106.07756, 2021
452021
Amortized Generation of Sequential Algorithmic Recourses for Black-box Models
S Verma, K Hines, JP Dickerson
AAAI 2022, 2022
42*2022
Removing biased data to improve fairness and accuracy
S Verma, M Ernst, R Just
arXiv preprint arXiv:2102.03054, 2021
312021
Synergistic debug-repair of heap manipulations
S Verma, S Roy
Proceedings of the 2017 11th Joint Meeting on Foundations of Software …, 2017
302017
Facets of fairness in search and recommendation
S Verma, R Gao, C Shah
Bias and Social Aspects in Search and Recommendation: First International …, 2020
212020
Shapeflow: Dynamic shape interpreter for tensorflow
S Verma, Z Su
arXiv preprint arXiv:2011.13452, 2020
152020
Pitfalls of explainable ML: an industry perspective
S Verma, A Lahiri, JP Dickerson, SI Lee
arXiv preprint arXiv:2106.07758, 2021
122021
Debug-localize-repair: a symbiotic construction for heap manipulations
S Verma, S Roy
Formal Methods in System Design 58 (3), 399-439, 2021
112021
RecXplainer: Post-hoc attribute-based explanations for recommender systems
S Verma, A Beniwal, N Sadagopan, A Seshadri
42022
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
32023
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, A Schwarzschild, S Singhal, AM Das, C Shah, ...
arXiv preprint arXiv:2311.14948, 2023
22023
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
22022
How Many Van Goghs Does It Take to Van Gogh? Finding the Imitation Threshold
S Verma, R Rassin, A Das, G Bhatt, P Seshadri, C Shah, J Bilmes, ...
arXiv preprint arXiv:2410.15002, 2024
2024
NAP: Noise-Based Sensitivity Analysis for Programs
J Michel*, S Verma*, B Sherman, M Carbin
WAX 2019, 2019
2019
Nie można teraz wykonać tej operacji. Spróbuj ponownie później.
Prace 1–17