Alert button
Picture for Abhik Roychoudhury

Abhik Roychoudhury

Alert button

Fairness-guided SMT-based Rectification of Decision Trees and Random Forests

Nov 22, 2020
Jiang Zhang, Ivan Beschastnikh, Sergey Mechtaev, Abhik Roychoudhury

Figure 1 for Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Figure 2 for Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Figure 3 for Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Figure 4 for Fairness-guided SMT-based Rectification of Decision Trees and Random Forests
Viaarxiv icon

Synthesizing Tasks for Block-based Programming

Jul 01, 2020
Umair Z. Ahmed, Maria Christakis, Aleksandr Efremov, Nigel Fernandez, Ahana Ghosh, Abhik Roychoudhury, Adish Singla

Figure 1 for Synthesizing Tasks for Block-based Programming
Figure 2 for Synthesizing Tasks for Block-based Programming
Figure 3 for Synthesizing Tasks for Block-based Programming
Figure 4 for Synthesizing Tasks for Block-based Programming
Viaarxiv icon