vein.git/examples/mnist, branch master VEIN: VErification via Interaction Nets http://git.mirenn.dev/vein.git/atom?h=master 2026-06-10T12:28:22+00:00 balanced fanout 2026-06-10T12:28:22+00:00 mirenn me@mirenn.dev 2026-06-05T14:40:44+00:00 urn:sha1:0c63e81f1f851a07db4cecdc16b95d908f63d0a5 New ONNX ops and tests 2026-04-13T19:38:16+00:00 mirenn me@mirenn.dev 2026-04-13T17:42:39+00:00 urn:sha1:840b91f84a926562654c43a93b02fa9c77c6a62b 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 mirenn me@mirenn.dev 2026-04-10T13:06:56+00:00 urn:sha1:abac351e8d68edb45a54eac82e928deb19efda15