vein.git/examples/mnist/mnist_stably_active.py, branch master VEIN: VErification via Interaction Nets http://git.ericmarin.dev/vein.git/atom?h=master 2026-04-13T19:38:16+00:00 New ONNX ops and tests 2026-04-13T19:38:16+00:00 ericmarin maarin.eric@gmail.com 2026-04-13T17:42:39+00:00 urn:sha1:fcbbc960f43137aa170b78ba0be2d89aec3bc766 New ops: Slice, Squeeze, Unsqueeze New tests based on papers: - Wide-to-Deep, Deep-to-Wide Transformation - Pruining of stably inactive (always negative) and active (always positive) ReLUs