vein.git/vein.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 added MNIST, changed cache and parser 2026-04-13T08:55:06+00:00 ericmarin maarin.eric@gmail.com 2026-04-10T13:06:56+00:00 urn:sha1:8f4f24523235965cfa2041ed00cc40fc0b4bd367 changed name 2026-04-09T13:36:02+00:00 ericmarin maarin.eric@gmail.com 2026-04-08T12:58:51+00:00 urn:sha1:9fb816496d392638fa6981e71800466d71434680