Stars
A neural network verification tool based on the DPLL(T) SMT Solving algorithm.
Tool, paper, and study data for DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.
A package for parsing neural network properties in VNN-LIB format
Examples of how to create colorful, annotated equations in Latex using Tikz.
`mllint` is a command-line utility to evaluate the technical quality of Python Machine Learning (ML) projects by means of static analysis of the project's repository.
A preprocessing tool for running modular analyses of C programs.
An instantiation of the Alternating Conditional Analysis framework.
Automated Environment Reduction for Debugging Robotic Systems
A Collection of DNN Verification Benchmarks
A collection of pre-trained, state-of-the-art models in the ONNX format
World-in-the-Loop (WIL) simulation: a mixed-reality approach integrating real-world and simulated sensor data to reduce the simulation-reality gap in autonomous system validation, enhancing fault d…
GDVB| Systematic Generation of Diverse Benchmarks for DNN Verification
Visualization of all roads within any city
Collaborative cheatsheets for console commands 📚.
GitHub color codes for programming languages
Master programming by recreating your favorite technologies from scratch.
MMdnn is a set of tools to help users inter-operate among different deep learning frameworks. E.g. model conversion and visualization. Convert models between Caffe, Keras, MXNet, Tensorflow, CNTK, …