From fcbbc960f43137aa170b78ba0be2d89aec3bc766 Mon Sep 17 00:00:00 2001 From: ericmarin Date: Mon, 13 Apr 2026 19:42:39 +0200 Subject: New ONNX ops and tests 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 --- docs/proof.md | 15 +++++++++------ 1 file changed, 9 insertions(+), 6 deletions(-) (limited to 'docs/proof.md') diff --git a/docs/proof.md b/docs/proof.md index 07717f9..99c88aa 100644 --- a/docs/proof.md +++ b/docs/proof.md @@ -37,17 +37,13 @@ By definition this interaction is equal to: By grouping the operations we get: ![Y = alpha * A * B + beta * C](https://latex.codecogs.com/svg.image?Y=\alpha\cdot&space;A\cdot&space;B+\beta\cdot&space;C&space;) -### Flatten -Just identity mapping because the wires are always Flatten. +### Identiry / Flatten / Reshape / Squeeze / Unsqueeze +Just identity mapping because wires represent a single element and they are not structured as Tensors. ![out_i ~ in_i](https://latex.codecogs.com/svg.image?out_i\sim&space;in_i) ### MatMul Equal to Gemm with ![alpha=1](https://latex.codecogs.com/svg.image?\inline&space;\alpha=1), ![beta=0](https://latex.codecogs.com/svg.image?\inline&space;\beta=0) and ![C=0](https://latex.codecogs.com/svg.image?\inline&space;&space;C=0). -### Reshape -Just identity mapping because the wires always Flatten. -![out_i ~ in_i](https://latex.codecogs.com/svg.image?out_i\sim&space;in_i) - ### Add ONNX Add node is defined as: ![C = A + B](https://latex.codecogs.com/svg.image?&space;C=A+B) @@ -76,6 +72,13 @@ By definition this interaction is equal to: By grouping the operations we get: ![C = A - B](https://latex.codecogs.com/svg.image?C=A-B) +### Slice +ONNX Slice is defined as: +![out_j = in_{start + (j * step)}](https://latex.codecogs.com/svg.image?&space;out_j=in_{start+(j*step)}) + +The translations creates a wiring analog to the above definition: +![out_j ~ in_{start + (j * step)}](https://latex.codecogs.com/svg.image?&space;out_j\sim&space;in_{start+(j*step)}) + ## Soundness of Interaction Rules ### Materialize The Materialize agent transforms a Linear agent into a tree of explicit mathematical operations -- cgit v1.2.3