research
∙
06/01/2022
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks
Algorithmic decision making driven by neural networks has become very pr...
share
research
∙
07/13/2021
Mining Idioms in the Wild
Existing code repositories contain numerous instances of code patterns t...
research
∙
06/16/2020
Counterexample-Guided Learning of Monotonic Neural Networks
The widespread adoption of deep learning is often attributed to its auto...
research
∙
12/13/2018
