Xujie Si's repositories
fse18-artifact-183
ALPS: Syntax-Guided Synthesis of Datalog Programs
udacity-deep-learning-solution
Tentative Solution for Udacity Deep Learning course taught by Vincent Vanhoucke
CS-381-Class-Project
Fair Use of a Scarce Shared Temporally Bounded Resource
cleverhans
An adversarial example library for constructing attacks, building defenses, and benchmarking both
bucklescript
A backend for the OCaml compiler which emits JavaScript.
certigrad
Bug-free machine learning on stochastic computation graphs
CSrankings
A web app for ranking computer science departments according to their research output in selective venues.
deepxplore
DeepXplore code release
EvadeML-Zoo
Benchmarking and Visualization Tool for Adversarial Machine Learning
mercury-share
Mercury: A Unified Framework for Exploring Offloading Tradeoffs in Mobile-Cloud Computing
ml4code-mtl.github.io
Hosting the website for ML4Code-Mtl.
PLNN-verification
All code for the Piecewise Linear Neural Networks verification: A comparative study paper
sample_app
RoR Tutorial Sample Application
SATNet
Bridging deep learning and logical reasoning using a differentiable satisfiability solver.
schedulous
Schedule workers to timeslots with ease.
SpeedyFOIL
Extend original FOIL with learnt templates