1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LG2020★ 1 cited
Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev +1
Data-driven decision making is gaining prominence with the popularity of various machine learning models. Unfortunately, real-life data used in machine learning training may captur…
cs.SE2017
Partitioning Patches into Test-equivalence Classes for Scaling Program Repair
Sergey Mechtaev, Xiang Gao, Shin Hwei Tan +1
Automated program repair is a problem of finding a transformation (called a patch) of a given incorrect program that eliminates the observable failures. It has important applicatio…