sukrutrao

Sukrut Rao's repositories

SAT-Solver-DPLL

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

Language:C++MIT43 2 2

Fast-Dawid-Skene

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

Language:PythonMIT42 6 4

Adversarial-Patch-Training

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

Language:Python40 4 2

Timetabler

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

Language:C++MIT38 6 25

SAT-Solver-CDCL

A simple SAT solver based on the CDCL algorithm

Language:C++MIT16 20

Model-Guidance

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

Language:PythonMIT15 2 2

Attribution-Evaluation

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

Language:PythonNOASSERTION14 20

MIPS-Simulator

A simple MIPS Simulator that can simulate execution in MIPS for a small subset of instructions under several restrictions

Language:C++MIT9 20

Page-Replacement-Algorithm-Simulator

Program to accept number of physical frames, list of page accesses, and the page replacement algorithm and output the number of faults and whether each access was a fault or not. Supports FIFO, LRU, and OPTIMAL algorithms.

Language:C++MIT6 20

Load-Balancer

A Plug-and-Play Load Balancer in Golang

Language:Go5 40

crowdsourced-data-simulator

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

Language:PythonMIT4 2 1

IntervalAI

An abstract interpreter for an integer interval domain supporting basic operations for simple C programs

Language:C++MIT4 3 10

Tic-Tac-Toe-Prolog

A one player Tic-Tac-Toe Game in Prolog

Language:Prolog3 20

Artillery-Game

A turn based three player tank game in Haskell

Language:HaskellMIT2 20

MaxSAT-Solver

A simple partial unweighted MaxSAT Solver that uses a Minisat backbone

Language:C++MIT2 20

deepagg

Implementation of the model described in "Training deep neural nets to aggregate crowdsourced responses." by Gaunt et al.

Language:Python1 20

Graded-Relations-From-Data

Implementation of the framework in the paper: Waegeman, W., Pahikkala, T., Airola, A., Salakoski, T., Stock, M., & De Baets, B. (2012). A kernel-based framework for learning graded relations from data. IEEE Transactions on Fuzzy Systems, 20(6), 1090-1101.

Language:PythonMIT1 20