11 citations · 15 across the 3 of their papers we have counts for
4 papers
FETA: Fairness Enforced Verifying, Training, and Predicting Algorithms for Neural Networks
Kiarash Mohammadi, Aishwarya Sivaraman, Golnoosh Farnadi
Algorithmic decision making driven by neural networks has become very prominent in applications that directly affect people's quality of life. In this paper, we study the problem o…
Mining Idioms in the Wild
Aishwarya Sivaraman, Rui Abreu, Andrew Scott +2
Existing code repositories contain numerous instances of code patterns that are idiomatic ways of accomplishing a particular programming task. Sometimes, the programming language i…
Counterexample-Guided Learning of Monotonic Neural Networks
Aishwarya Sivaraman, Golnoosh Farnadi, Todd Millstein +1
The widespread adoption of deep learning is often attributed to its automatic feature construction with minimal inductive bias. However, in many real-world tasks, the learned funct…
Active Inductive Logic Programming for Code Search
Aishwarya Sivaraman, Tianyi Zhang, Guy Van den Broeck +1
Modern search techniques either cannot efficiently incorporate human feedback to refine search results or to express structural or semantic properties of desired code. The key insi…