-
Max Planck Institute for Informatics
- Germany
-
10:21
(UTC 02:00) - https://sukrutrao.github.io
- https://orcid.org/0000-0001-8896-7619
- @sukrutrao
- in/sukrutrao
Highlights
- Pro
-
Model-Guidance Public
Code for the paper: Studying How to Efficiently and Effectively Guide Models with Explanations. ICCV 2023.
-
Adversarial-Patch-Training Public
Code for the paper: Adversarial Training Against Location-Optimized Adversarial Patches. ECCV-W 2020.
-
crowdsourced-data-simulator Public
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
-
Fast-Dawid-Skene Public
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
-
deepagg Public
Implementation of the model described in "Training deep neural nets to aggregate crowdsourced responses." by Gaunt et al.
-
Attribution-Evaluation Public
Code for the paper: Towards Better Understanding Attribution Methods. CVPR 2022.
-
Timetabler Public
A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
-
Tic-Tac-Toe-Prolog Public
A one player Tic-Tac-Toe Game in Prolog
-
Artillery-Game Public
A turn based three player tank game in Haskell
-
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…
-
MIPS-Simulator Public
A simple MIPS Simulator that can simulate execution in MIPS for a small subset of instructions under several restrictions
-
SAT-Solver-CDCL Public
A simple SAT solver based on the CDCL algorithm
-
MaxSAT-Solver Public
A simple partial unweighted MaxSAT Solver that uses a Minisat backbone
-
SAT-Solver-DPLL Public
A simple SAT solver that implements the DPLL algorithm with unit resolution
-
IntervalAI Public
An abstract interpreter for an integer interval domain supporting basic operations for simple C programs
-
CS6490 Assignment: ROS Package to perform automated license plate recognition on images using OpenALPR
-
Graded-Relations-From-Data Public
Forked from vishwakftw/Graded-Relations-From-DataImplementation 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 d…
-
CSrankings Public
Forked from emeryberger/CSrankingsA web app for ranking computer science departments according to their research output in selective venues.
Python Other UpdatedDec 26, 2018 -
extreme-classification Public
Forked from vishwakftw/extreme-classificationProject Repository for CS6370 : Information Retrieval offered in Fall 2018
Python MIT License UpdatedNov 30, 2018 -
caffe-layers-duplicator Public
Automate making copies of layers in the network prototxt file for Caffe
C MIT License UpdatedOct 7, 2018 -
pluto Public
Forked from bondhugula/plutoPluto: An automatic polyhedral parallelizer and locality optimizer
C GNU General Public License v3.0 UpdatedSep 22, 2018 -
open-wbo Public
Forked from sat-group/open-wboOpen-WBO: state-of-the-art MaxSAT and Pseudo-Boolean solver
-
CS6370-IR Public
Forked from vishwakftw/CS6370-IRCoursework pertaining to CS6370 : Information Retrieval offered in Fall 2018
TeX UpdatedAug 31, 2018 -
vrd-dsr Public
Forked from GriffinLiang/vrd-dsrCode for Visual Relationship Detection with Deep Structural Ranking (AAAI2018)
Python UpdatedJun 8, 2018 -
Load-Balancer Public
A Plug-and-Play Load Balancer in Golang
-
-
Stack-Machine-Interpreter Public
A simple Stack Machine Interpreter in Cool
-
polyite Public
Forked from stganser/polyitePolyite: Iterative Schedule Optimization for Parallelization in the Polyhedron Model
Scala MIT License UpdatedJan 12, 2018 -
-
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
C Other UpdatedAug 6, 2017