Sukrut Rao

A simple SAT solver that implements the DPLL algorithm with unit resolution

sukrutrao

Code for the paper: Adversarial Training Against Location-Optimized Adversarial Patches. ECCV-W 2020.

sukrutrao

Code for the algorithms in the paper: Vaibhav B Sinha, Sukrut Rao, Vineeth N Balasubramanian. Fast Dawid-Skene: A Fast Vote Aggregation Scheme for Sentiment Classification. KDD WISDOM 2018

sukrutrao

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver

sukrutrao

A simple SAT solver based on the CDCL algorithm

sukrutrao

Code for the paper: Studying How to Efficiently and Effectively Guide Models with Explanations. ICCV 2023.

sukrutrao

Code for the paper: Towards Better Understanding Attribution Methods. CVPR 2022.

sukrutrao