Pinned Repositories
cascade-robustness-impl
scad_tot
SCAD TakeOverTime neural network & verification
ensembleKW
Code implementing the experiments in paper "On the Perils of Cascading Robust Classifiers"
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
degradation-attacks
Code implementing the experiments in paper "Degradation Attacks on Certifiably Robust Neural Networks"
gradual-typing-bib
A bibliography on Gradual Typing
learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
thebeast
Automatically exported from code.google.com/p/thebeast
whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
ravimangal's Repositories
ravimangal/CSrankings
A web app for ranking computer science departments according to their research output in selective venues, and for finding active faculty across a wide range of areas.
ravimangal/cascade-robustness-impl
ravimangal/degradation-attacks
Code implementing the experiments in paper "Degradation Attacks on Certifiably Robust Neural Networks"
ravimangal/gradual-typing-bib
A bibliography on Gradual Typing
ravimangal/learn-tt
A collection of resources for learning type theory and type theory adjacent fields.
ravimangal/whole-program-llvm
A wrapper script to build whole-program LLVM bitcode files
ravimangal/thebeast
Automatically exported from code.google.com/p/thebeast