Projects

LiNNA
A Python library for abstracting feed-fordward neural networks
GitHub

HIPS
A Python library for heuristically solving mixed integer programs
GitHub