TY - RPRT TI - Fairness-guided SMT-based Rectification of Decision Trees and Random Forests AU - Jiang Zhang AU - Ivan Beschastnikh AU - Sergey Mechtaev AU - Abhik Roychoudhury PY - 2020 UR - https://arxiv.org/abs/2011.11001 ID - 2011.11001 ER -