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
A highly customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
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