Conference
Open access
Sep 2026
eNNcode: Optimization-Based Analysis of Neural Networks
eNNcode is introduced, a user-friendly PyPI library that converts any piecewise-linear neural network in Open Neural Network Exchange (ONNX) format into a MILO instance, and supports arbitrary constraints on input and output nodes, as well as user-defined optimization objectives.
Muhammad Sabri Farag Atallah, Lukas Dankwart, D. Neider et al.
· Proceedings of the Thirty-Fi... · 0 citations