AI Division, Reverse Engineering CNN Trojans

RobotsModelsAnalyses

DPLL(T)-based Verification tool for DNNs

Near Zero-Overhead Python Code Coverage

Tool, paper, and study data for DeepManeuver: Adversarial Test Generation for Trajectory Manipulation of Autonomous Vehicles.

Fourth edition of VNN COMP (2023)

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

Linear optimization software

A Collection of DNN Verification Benchmarks

Deep Neural Network Falsification

Neural network verification in JAX

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

A Framework for Deep Neural Network Verification

📚 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, …

Intercept calls in python

Magnificent app which corrects your previous console command.

Grumpy is a Python to Go source code transcompiler and runtime.