New ONNX ops and testsHEADmaster

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

1 files changed, 52 insertions, 0 deletions

diff --git a/examples/mnist/mnist_stably_inactive.py b/examples/mnist/mnist_stably_inactive.py
new file mode 100644
index 0000000..ad81461
--- /dev/null
+++ b/examples/mnist/mnist_stably_inactive.py
@@ -0,0 +1,52 @@
+import torch, torch.nn as nn
+from torchvision.datasets import MNIST
+from torch.utils.data import DataLoader
+from torchvision import transforms
+
+class MNIST_MLP(nn.Module):
+    def __init__(self, hidden_dim):
+        super().__init__()
+        self.layers = nn.Sequential(
+            nn.Flatten(),
+            nn.Linear(28 * 28, hidden_dim),
+            nn.ReLU(),
+            nn.Linear(hidden_dim, 10),
+        )
+    def forward(self, x):
+        return self.layers(x)
+
+train_dataset = MNIST('./', download=True, transform=transforms.ToTensor(), train=True)
+trainloader = DataLoader(train_dataset, batch_size=128, shuffle=True)
+
+def train_model(name: str, dim):
+    net = MNIST_MLP(hidden_dim=dim)
+    loss_fn = nn.CrossEntropyLoss()
+    optimizer = torch.optim.Adam(net.parameters(), lr=0.5e-4)
+
+    print(f"Training {name} ({dim} neurons)...")
+    for epoch in range(10):
+        global loss
+        for data in trainloader:
+            inputs, targets = data
+            optimizer.zero_grad()
+            outputs = net(inputs)
+            loss = loss_fn(outputs, targets)
+            loss.backward()
+            optimizer.step()
+        print(f"  Epoch {epoch+1}, Loss: {loss.item():.4f}")
+    return net
+
+if __name__ == "__main__":
+    torch_net_a = train_model("Base Network", 6).eval()
+    
+    with torch.no_grad():
+        torch_net_a.layers[1].weight[5] = -1.0 # pyright: ignore
+        torch_net_a.layers[1].bias[5] = -1.0 # pyright: ignore
+        
+        torch_net_b = MNIST_MLP(6).eval()
+        torch_net_b.load_state_dict(torch_net_a.state_dict())
+        
+        torch_net_b.layers[3].weight[:, 5] = 0.0 # pyright: ignore
+        
+    torch.onnx.export(torch_net_a, (torch.randn(1, 28, 28),), "mnist_a.onnx")
+    torch.onnx.export(torch_net_b, (torch.randn(1, 28, 28),), "mnist_b.onnx")