Diego Manzanas Lopez's Projects
Neural Network importer for ONNX models into NNV
Final Project - Model Integrated Computing, fall 2019 - Vanderbilt University
Simulation implementation of platooning
Python wrapper to the NNV verification tool.
High-level batteries-included neural network training library for Pytorch
Rethinking the Value of Network Pruning (Pytorch) (ICLR 2019)
real time reachability for the f1Tenth platform
ROS & Gazebo F1/10 Autonomous Racecar Simulator
Experiments from the paper "On Second Order Behaviour in Augmented Neural ODEs"
Differentiable ODE solvers with full GPU support and O(1)-memory backpropagation.
The VeriNet toolkit for verification of neural networks
Neural network control and verification of watercrafts