Studying How to Efficiently and Effectively Guide Models with Explanations
Towards Better Understanding Attribution Methods
Adversarial Training against Location-Optimized Adversarial Patches
A fast crowdsourced vote aggregation algorithm
A MaxSAT solver tailored to the incomplete MaxSAT problem
Research Internship at the University of Tokyo in the summer of 2018
Research Internship at Robert Bosch in the summer of 2017
An abstract interpreter for an integer interval domain supporting basic operations
Application of momentum in second order methods, such as Newton’s method and BFGS
A compiler for a simplified version of the COOL programming language
Implementation of the model described in “Training deep neural nets to aggregate crowdsourced responses.” by Gaunt et al.
Techniques to effectively perform multi-label classification from a very large set of labels
A program that simulates answers given by a crowd to multiple choice questions with either a single or multiple answers correct, and writes it to a CSV
A Plug-and-Play Load Balancer in Golang
A SAT solver implementing the CDCL algorithm
A SAT solver implementing the DPLL algorithm
A partial unweighted MaxSAT solver
A turn based three player tank game in Haskell
Simulates execution of MIPS programs
A multiplayer platformer using C++ and Qt, that can be played in a single device or over a local network
