Name: Diego Manzanas Lopez
Type: User
Company: @verivital
Bio: Research Scientist at Vanderbilt University
Location: Nashville, TN
💼 Research Scientist at the VeriVITAL group at Vanderbilt University.
📈 Over 20 publications
🤵 Developer of the open source Neural Network Verification Tool, NNV
❤️ Python, MATLAB and tennis
acasxu
Verification and simulation of an autonomous control system for unmanned aircraft
arch-comp2020
ARCH Competition AINNCS 2020 - Benchmarks description and NNV results
arch-comp2021
Friendly ARCH AINNCS Competition - Benchmark Description
augmented-neural-odes
Pytorch implementation of Augmented Neural ODEs :sunflower:
buck_converter
Reachability analysis of a dcdc converter, open-loop and closed-loop analysis.
cora
Toolbox for Reachability Analysis
deepimportance_code_release
dockerfiles
Collection of DockerFiles related to NN verification, training and pruning algorithms
f1tenth_docker_agent
Standardized template for creating your own Docker containerized agent submission to F1TENTH competitions.
f1tenth_gym_ros
Containerized ROS communication bridge for F1TENTH gym environment.
f1tenthvanderbilt
Code for F1Tenth Competition
fastgcn-matlab
FastGCN in Matlab and companion codes for analysis of SGD with biased but consistent gradient estimators
formats2022_reproduce
frontier
gotube
Reproducing GoTube results
graphneuralnetworks
hautlearn
Hybrid automata learning framework
inverted-pendulum
Modeling and simulation of various types of a closed-loop inverted pendulum system
jupyter-matlab-proxy
MATLAB Integration for Jupyter
latent_ode
Code for "Latent ODEs for Irregularly-Sampled Time Series" paper
medicalimagesegmentation
mldiego
Personal description and stats
mldiego.github.io
networkpruning
Pruning techniques for Neural Networks
neuralode
Examples of reachability analysis of neural ordinary differential equations using NNV
neuralode_examples
nnv
Neural Network Verification Software Tool
nnvmt
NNVMT: A Translation Tool for Feedforward Neural Network Models
npy-matlab
Experimental code to read/write NumPy .NPY files in MATLAB
nsal
NeuroSymbolic Automata Learning
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
An Open Source Machine Learning Framework for Everyone
Django
The Web framework for perfectionists with deadlines.
Laravel
A PHP framework for web artisans
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
Some thing interesting about web. New door for the world.
A server is a program made to process requests and deliver data to clients.
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
Some thing interesting about visualization, use data art
Some thing interesting about game, make everyone happy.
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
Microsoft
Open source projects and samples from Microsoft.
Google
Google ❤️ Open Source for everyone.
Alibaba
Alibaba Open Source for everyone
D3
Data-Driven Documents codes.
Tencent
China tencent open source team.
