Projects

LiNNA

A Python library for abstracting feed-fordward neural networks

HIPS

A Python library for heuristically solving mixed integer programs