Updated 10 months ago
https://github.com/cog-imperial/omlt
Represent trained machine learning models as Pyomo optimization formulations
Updated 10 months ago
https://github.com/troublete/go-qndnn
quick 'n' dirty neural network (for practical use)