Bug-free machine learning on stochastic computation graphs

Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

A web app for ranking computer science departments according to their research output in selective venues.

Hosting the website for ML4Code-Mtl.

A backend for the OCaml compiler which emits JavaScript.

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.

Schedule workers to timeslots with ease.

A Learning Environment for Theorem Proving

Boogie

Precondition Inference Engine

DeepXplore code release

An adversarial example library for constructing attacks, building defenses, and benchmarking both

Benchmarking and Visualization Tool for Adversarial Machine Learning

All code for the Piecewise Linear Neural Networks verification: A comparative study paper

Safety Verification of Deep Neural Networks

Python PDF Parser

A robust parser for C/C++ storing abstract syntax trees, control flow graphs and program dependence graphs in a neo4j graph database.

The Z3 Theorem Prover

hack around trying to resuscitate ancient ccured.