ravimangal

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/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