tests/test.sh exit code (0 → resolved); the classification below is post-hoc and cannot change it.Explore app structure
ls -la && echo "---SUBMISSION---" && ls -la submission/ && echo "---DATA---" && ls -la data/ && echo "---numpy---" && python3 -c "import numpy; print(numpy.__version__)"
total 101 drwxr-xr-x 4 user user 4096 Jun 30 22:28 . drwxr-xr-x 21 root root 4096 Jun 30 22:28 .. -rw-r--r-- 1 user user 14238 Jun 30 22:28 PROMPT.txt -rw-r--r-- 1 user user 5 Jun 30 22:28 agent.pid -rw-r--r-- 1 user user 0 Jun 30 22:28 agent.stderr -rw-r--r-- 1 user user 4603 Jun 30 22:28 agent_trajectory.jsonl drwxr-xr-x 2 user user 60 Jun 30 22:28 data -rw-r--r-- 1 user user 0 Jun 30 22:28 run.log -rwxr-xr-x 1 user user 57740 Jun 30 11:01 run_checks.py drwxr-xr-x 2 user user 128 Jun 30 22:28 submission -rwxr-xr-x 1 user user 998 Jun 30 11:01 test.sh -rwxr-xr-x 1 user user 629 Jun 30 11:01 timer.sh ---SUBMISSION--- total 80 drwxr-xr-x 2 user user 128 Jun 30 22:28 . drwxr-xr-x 4 user user 4096 Jun 30 22:28 .. -rw-r--r-- 1 user user 5490 Jun 30 11:01 advtrain.py -rw-r--r-- 1 user user 8776 Jun 30 11:01 attack.py -rw-r--r-- 1 user user 18341 Jun 30 11:01 autograd.py -rw-r--r-- 1 user user 2167 Jun 30 11:01 data.py -rw-r--r-- 1 user user 15988 Jun 30 11:01 nn.py -rw-r--r-- 1 user user 8853 Jun 30 11:01 optim.py -rw-r--r-- 1 user user 3742 Jun 30 11:01 train.py ---DATA--- total 2904 drwxr-xr-x 2 user user 60 Jun 30 22:28 . drwxr-xr-x 4 user user 4096 Jun 30 22:28 .. -rw-r--r-- 1 user user 2967336 Jun 30 11:01 train.npz ---numpy--- 2.2.6
/app/submission/autograd.py
1 """Reverse-mode automatic differentiation over numpy arrays (IMPLEMENT THIS). 2 3 A ``Tensor`` wraps a single ``numpy.ndarray`` (``float64``) and records the operation that 4 produced it so that ``.backward()`` can walk the graph in reverse-topological order and 5 accumulate ``.grad`` (the gradient of the scalar on which ``.backward()`` was called w.r.t. 6 this tensor) into every leaf. 7 8 This task is ADVERSARIAL ROBUSTNESS: the model is a small convolutional classifier and the 9 attacks (PGD/FGSM/MI-FGSM/PGD-L2/CW) ascend on the gradient of an attack loss w.r.t. the INPUT 10 image, so the autograd engine must (a) flow gradients back to PARAMETERS (for training) AND 11 (b) flow gradients back to the INPUT tensor (for the attack). BOTH directions are exercised by the 12 verifier's finite-difference gradient checks, so the convolution's input-gradient (the ``_col2im`` 13 adjoint) is load-bearing. 14 15 Contract (the verifier's conformance suite differentiates your analytic backward against finite 16 differences and checks your forward against its own reference, so match this exactly): 17 18 * ``Tensor(data, requires_grad=False)`` -- ``data`` is array-like, stored as ``float64`` in 19 ``self.data``; ``self.grad`` starts as ``None`` and becomes a same-shape ``float64`` array after 20 backward. ``requires_grad`` leaves accumulate grad; non-requiring leaves do not. 21 * Every op returns a NEW ``Tensor`` whose ``requires_grad`` is the OR of its differentiable inputs. 22 …[truncated 18629 chars]
/app/submission/nn.py
1 """Neural-network layers + a small convolutional classifier, built on the autograd engine 2 (IMPLEMENT THE FORWARDS). 3 4 Every module exposes ``params()`` -> list[Tensor] (the leaf tensors with ``requires_grad=True``) 5 and ``named_params()`` -> dict[str, Tensor] with STABLE names that match the checkpoint format the 6 verifier loads. ``SmallCNN.state_dict()`` / ``load_state_dict()`` round-trip a plain 7 ``dict[str, np.ndarray]`` (saved as an ``.npz``); the verifier loads YOUR checkpoint into its OWN 8 reference SmallCNN via these names, so the names + shapes below are part of the contract. 9 10 Naming contract for SmallCNN (do not change -- the verifier indexes by these exact keys): 11 conv1.weight (C1, C_in, 3, 3) conv1.bias (C1,) 12 conv2.weight (C2, C1, 3, 3) conv2.bias (C2,) 13 fc1.weight (C2*(H/4)*(W/4), F) fc1.bias (F,) 14 fc2.weight (F, n_classes) fc2.bias (n_classes,) 15 16 Architecture (pinned): for an (N, C_in, H, W) input image batch, 17 conv1 (C_in->C1, 3x3, pad 1) -> relu 18 maxpool 2x2 (H,W -> H/2,W/2) 19 conv2 (C1->C2, 3x3, pad 1) -> relu 20 maxpool 2x2 (H/2,W/2 -> H/4,W/4) 21 flatten -> fc1 (-> F) -> relu -> fc2 (-> n_classes) logits. 22 ``Linear`` computes ``x @ weight + bias`` (weight is (in, out)). No BatchNorm inside SmallCNN (so 23 the attack runs a single deterministic eval-mode forward with no running-stat dependence). 24 25 The other …[truncated 15896 chars]
/app/submission/optim.py
1 """Optimizers + LR schedulers over a flat list of autograd ``Tensor`` parameters (IMPLEMENT THESE). 2 3 Every optimizer operates IN PLACE on ``param.data`` using ``param.grad`` (the gradient accumulated 4 by ``Tensor.backward``). ``zero_grad()`` resets every grad to None. The EXACT update formula each 5 optimizer must match (the verifier checks one and several steps against its own reference) is in 6 its docstring. 7 8 The adversarial-training loop uses AdamW (decoupled decay, with ``no_decay_ndim`` excluding 1-D 9 params/biases) + global grad-norm clipping; the rest of the optimizer zoo + the four LR schedulers 10 are part of the from-scratch framework the conformance suite audits. 11 """ 12 from __future__ import annotations 13 14 import math 15 from typing import List 16 17 import numpy as np 18 19 from autograd import Tensor 20 21 22 class Optimizer: 23 def __init__(self, params: List[Tensor]): 24 self.params = list(params) 25 26 def zero_grad(self): 27 for p in self.params: 28 p.grad = None 29 30 31 class SGD(Optimizer): 32 """SGD + momentum + optional Nesterov + (coupled/L2) weight decay: 33 g = grad + wd*param; v = mu*v + g; step = (g + mu*v) if nesterov else v; param -= lr*step.""" 34 35 def __init__(self, params, lr=0.1, momentum=0.0, weight_decay=0.0, nesterov=False): 36 super().__init__(params) 37 self.lr = lr 38 self.momentum = momentum 39 self.weight_decay = weight …[truncated 8125 chars]
/app/submission/data.py
1 """Data loading + minibatching for the shape-classification set (IMPLEMENT THESE).
2
3 The visible train split ships as ``/app/data/train.npz`` with arrays ``X`` (N, C, H, W) float
4 pixels in [0,1] and ``y`` (N,) int labels. The SEALED held-out split is NOT in the image -- the
5 verifier regenerates it from a secret feature seed and runs its own attack on it.
6
7 Contract:
8 load_npz(path) -> (X float64 (N,C,H,W), y int64 (N,))
9 train_val_split(X, y, val_frac, rng) -> ((Xtr,ytr),(Xval,yval)) random disjoint split (val slice
10 is a held-BACK slice of the VISIBLE train data you may use for best-checkpoint selection --
11 it is NOT the verifier's sealed held-out set)
12 iter_batches(X, y, batch_size, rng) -> yields (xb, yb) random-permutation minibatches
13 get_batch(X, y, batch_size, rng) -> a single random minibatch
14 to_onehot(y, n_classes) -> (N, n_classes) one-hot float matrix
15 clip01(X) -> X clamped into the [0,1] pixel domain
16 """
17 from __future__ import annotations
18
19 from typing import Iterator, Tuple
20
21 import numpy as np
22
23
24 def load_npz(path: str) -> Tuple[np.ndarray, np.ndarray]:
25 raise NotImplementedError("implement load_npz")
26
27
28 def train_val_split(X: np.ndarray, y: np.ndarray, val_frac: float,
29 rng: np.random.Generator):
30 raise NotImplementedError("implement train_val_split")
31
32
33 def iter_batches(X: np.ndarray, y: np.ndarray, batch_size: int,
34
…[truncated 814 chars]/app/submission/attack.py
1 """White-box evasion attacks built on the from-scratch autograd engine (IMPLEMENT THESE). 2 3 An adversary perturbs each input within a norm budget (L-inf eps in the [0,1] pixel domain by 4 default) and tries to make the classifier WRONG. Every attack ascends on the gradient of an attack 5 loss with respect to the INPUT image, which is exactly the gradient the autograd engine produces 6 when the input is wrapped in a ``requires_grad=True`` Tensor and the loss is backpropagated -- so a 7 correct ``conv2d`` input-gradient (the ``_col2im`` adjoint) is load-bearing. 8 9 THE PRIMITIVE 10 input_grad(model, x, y) d/dx of mean cross-entropy of model(x) vs y (ndarray). 11 loss_input_grad(model, x, y, loss_fn) d/dx of an ARBITRARY scalar attack loss loss_fn(logits,y). 12 13 L-INF ATTACKS 14 fgsm(model, x, y, eps) clip(x + eps*sign(input_grad)). 15 pgd_attack(model, x, y, eps, steps, alpha) iterated FGSM with random start + project to the 16 L-inf eps-ball around x AND the [0,1] box each step. 17 mi_fgsm(model, x, y, eps, steps, alpha, mu) momentum-iterative FGSM: accumulate a decaying 18 momentum of the L1-NORMALIZED gradient, step on its sign, 19 project each step. 20 targeted_pgd(model, x, y_target, eps, steps, alpha) DESCEND CE toward y_target (step on the 21 …[truncated 7820 chars]
/app/submission/advtrain.py
1 """Adversarial-training objectives built on the from-scratch autograd engine (IMPLEMENT THESE).
2
3 Several standard recipes turn a fragile classifier into a robust one. Each crafts adversarial
4 inputs per minibatch with the model's own attack, then takes a gradient step on a robustness-aware
5 loss; the recipes differ in the loss. All run a single forward+backward; the caller does grad-clip
6 + the optimizer step. ``x_clean`` / ``x_adv`` are ndarrays (N, C, H, W); ``y`` is an int (N,).
7
8 pgd_at_loss(model, x_adv, y) Madry PGD-AT: CE on the ADVERSARIAL batch.
9 trades_loss(model, x_clean, x_adv, y, beta) TRADES: CE(clean) + beta*KL(stopgrad(clean)||adv).
10 The clean branch INSIDE the KL is a STOP-GRADIENT
11 target (detached): the KL backprops only through
12 the adversarial branch.
13 mart_loss(model, x_clean, x_adv, y, beta) MART: boosted-CE on the adversarial batch
14 ( CE(adv,y) - mean log(1 - max_{j!=y} p_adv_j) ) +
15 beta * mean_i[ (1 - p_clean_i[y_i]) *
16 KL_i(softmax(adv)||stopgrad softmax(clean)) ].
17 alp_loss(model, x_clean, x_adv, y, lam) Adversarial Logit Pairing:
18 0.5*(CE(clean)+CE(ad
…[truncated 4278 chars]/app/submission/train.py
1 """Adversarial-training loop for the small CNN, using the from-scratch numpy framework 2 (IMPLEMENT THIS). 3 4 Standard (clean) training reaches ~99% CLEAN accuracy but ~chance ROBUST accuracy -- it is broken 5 by the verifier's STRONG multi-restart L-inf PGD attack. WEAK robust training is not enough either: 6 single-step (FGSM) adversarial training suffers "catastrophic overfitting" and is shattered by the 7 multi-step / multi-restart eval attack, and adversarial training at a SMALLER perturbation budget 8 than the eval budget leaves the model fragile exactly where it is attacked. The effective recipe is 9 full multi-step PGD ADVERSARIAL TRAINING (Madry et al. 2018) with the perturbation budget MATCHED 10 to the (larger) eval budget: 11 12 * on every minibatch, craft an inner k-step L-inf PGD adversarial batch against the CURRENT model 13 (attack.pgd_attack), at the eps the eval uses, then take the AdamW step on advtrain.pgd_at_loss 14 (cross-entropy on the adversarial batch); 15 * train long enough for robustness to converge (a few epochs is not enough at this eps); 16 * stability details that materially raise the achieved robust accuracy and make it reproducible: 17 (a) exclude biases (1-D params) from weight decay (AdamW no_decay_ndim=1); (b) clip the global 18 gradient norm (the adversarial loss surface is sharp); (c) keep the BEST-by-robust-accuracy 19 checkpoint, evaluated each epoch with the model's own multi-step PGD on a held-BACK slic …[truncated 2473 chars]
Inspect training data
python3 -c "
import numpy as np
d=np.load('data/train.npz')
print(list(d.keys()))
print('X',d['X'].shape,d['X'].dtype,d['X'].min(),d['X'].max())
print('y',d['y'].shape,d['y'].dtype,np.unique(d['y']))
print('counts',np.bincount(d['y']))
"['X', 'y'] X (3600, 1, 16, 16) float32 0.0 1.0 y (3600,) int64 [0 1 2 3 4 5] counts [593 592 629 596 599 591]
/app/run_checks.py
<system-reminder>[Truncated: PARTIAL view , showing lines 1-868 of 1188 total (29062 tokens, cap 25000). Call Read with offset=869 limit=868 for the next page, or Grep to find a specific section. Do NOT answer from this page alone if the answer may be further in the file.]</system-reminder> 1 #!/usr/bin/env python3 2 """PUBLIC component check runner for the from-scratch numpy framework + the adversarial machinery. 3 4 Run this AS OFTEN AS YOU LIKE while you implement to get a per-check progress signal: 5 6 python3 /app/run_checks.py # check the framework in /app/submission 7 python3 /app/run_checks.py --submission /some/dir 8 python3 /app/run_checks.py --only attack # focus a single milestone 9 10 It imports YOUR modules from /app/submission (autograd.py / nn.py / optim.py / data.py / attack.py 11 / advtrain.py), exactly as the grader does, and runs a PUBLIC portion of the component conformance 12 suite, printing a clear per-check report. Each FAIL line names the exact op / layer / optimizer / 13 attack / adversarial-training property that is wrong. 14 15 HOW THIS RELATES TO YOUR GRADE 16 ------------------------------ 17 This runner is a DEBUGGING AID, not the grader. It checks YOUR framework against self-consistent 18 references it computes on its OWN: 19 * autograd_grads : central FINITE-DIFFERENCE of YOUR forward vs YOUR analytic backward (every op, 20 incl. the convolution input-gradient, the pools, an …[truncated 44212 chars]
/app/run_checks.py
869 def dlr_loss_grad():
870 rng = np.random.default_rng(sb + 60)
871 x0 = rng.standard_normal((5, 4)); y = rng.integers(0, 4, size=5)
872 lt = ag.Tensor(x0.copy(), requires_grad=True)
873 atk.dlr_loss(lt, y).backward()
874 gnum = _num_grad_input(lambda xv: np.array(float(atk.dlr_loss(ag.Tensor(xv), y).data)), x0.copy())
875 return _max_abs(lt.grad, gnum) < TOL_GRAD, f"max_abs={_max_abs(lt.grad, gnum):.2e}"
876
877 def dlr_input_grad_fd():
878 m = _model(61)
879 x0 = np.random.default_rng(sb + 62).standard_normal((3, 1, 8, 8)); y = np.array([0, 1, 2])
880 lf = lambda lg, t: atk.dlr_loss(lg, t)
881 gan = np.asarray(atk.loss_input_grad(m, x0, y, lf), np.float64)
882 gnum = _num_grad_input(lambda xv: np.array(float(lf(m(ag.Tensor(xv)), y).data)), x0.copy())
883 return _max_abs(gan, gnum) < TOL_GRAD, f"max_abs={_max_abs(gan, gnum):.2e}"
884
885 def bim_stronger():
886 m = _model(67)
887 x = np.clip(np.random.default_rng(sb + 68).random((8, 1, 8, 8)), 0, 1); y = np.array([0, 1, 2, 3, 0, 1, 2, 3]); eps = 0.12
888 xf = atk.fgsm(m, x, y, eps); xb = atk.bim(m, x, y, eps, 15, 0.025)
889 lf = float(ag.cross_entropy(m(xf), y).data); lb = float(ag.cross_entropy(m(xb), y).data)
890 return lb >= lf - 1e-6, f"fgsm={lf:.3f} bim={lb:.3f}"
891
892 def restarts_worst_case():
893 m = _model(69)
894 x = np.clip(np.random.default_
…[truncated 15653 chars]"""Reverse-mode automatic differentiation over numpy arrays.
A ``Tensor`` wraps a single ``numpy.ndarray`` (``float64``) and records the operation that
produced it so that ``.backward()`` can walk the graph in reverse-topological order and
accumulate ``.grad``.
"""
from __future__ import annotations
import math
from typing import Callable, Iterable, List, Optional
import numpy as np
_erf = np.vectorize(math.erf)
_SQRT2 = math.sqrt(2.0)
_INV_SQRT_2PI = 1.0 / math.sqrt(2.0 * math.pi)
def _as_f64(x) -> np.ndarray:
return np.asarray(x, dtype=np.float64)
def _unbroadcast(grad: np.ndarray, shape: tuple) -> np.ndarray:
grad = np.asarray(grad)
while grad.ndim > len(shape):
grad = grad.sum(axis=0)
for i, s in enumerate(shape):
if s == 1 and grad.shape[i] != 1:
grad = grad.sum(axis=i, keepdims=True)
return grad
class Tensor:
__slots__ = ("data", "grad", "requires_grad", "_backward", "_parents")
def __init__(self, data, requires_grad: bool = False, _parents: Iterable["Tensor"] = ()):
self.data: np.ndarray = _as_f64(data)
self.grad: Optional[np.ndarray] = None
self.requires_grad: bool = bool(requires_grad)
self._backward: Callable[[], None] = lambda: None
self._parents: tuple = tuple(_parents)
@property
def shape(self):
return self.data.shape
@property
def ndim(self):
return self.data.ndim
def zero_grad(self):
self.grad = None
def
…[truncated 29302 chars]The file /app/submission/autograd.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/autograd.py
mu = a.data.mean(axis=axis, keepdims=True)
d = a.data - mu
v = (d * d).sum(axis=axis, keepdims=True) / den
s = np.sqrt(v + eps)
out = _mk(np.reshape(s, s.shape) if keepdims else s.reshape(
np.broadcast_to(s, s.shape).shape).squeeze(axis) if axis is not None else float(s),
(a,), lambda: None, a.requires_grad)
# simpler, robust forward:
out_val = np.sqrt(((a.data - mu) ** 2).sum(axis=axis, keepdims=keepdims) / den + eps)
out = _mk(out_val, (a,), lambda: None, a.requires_grad) mu = a.data.mean(axis=axis, keepdims=True)
d = a.data - mu
s = np.sqrt((d * d).sum(axis=axis, keepdims=True) / den + eps)
out_val = np.sqrt(((a.data - mu) ** 2).sum(axis=axis, keepdims=keepdims) / den + eps)
out = _mk(out_val, (a,), lambda: None, a.requires_grad)The file /app/submission/autograd.py has been updated successfully. (file state is current in your context , no need to Read it back)
Smoke import autograd
cd /app/submission && python3 -c "import autograd; print('autograd imports OK')"autograd imports OK
/app/submission/nn.py
def forward(self, x: Tensor) -> Tensor:
"""ag.conv2d(x, weight, bias, pad)."""
raise NotImplementedError("implement Conv2d.forward") def forward(self, x: Tensor) -> Tensor:
"""ag.conv2d(x, weight, bias, pad)."""
return ag.conv2d(x, self.weight, self.bias, self.pad)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x: Tensor) -> Tensor:
"""ag.maxpool2d(x, k)."""
raise NotImplementedError("implement MaxPool2d.forward") def forward(self, x: Tensor) -> Tensor:
"""ag.maxpool2d(x, k)."""
return ag.maxpool2d(x, self.k)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x: Tensor) -> Tensor:
"""ag.avgpool2d(x, k)."""
raise NotImplementedError("implement AvgPool2d.forward") def forward(self, x: Tensor) -> Tensor:
"""ag.avgpool2d(x, k)."""
return ag.avgpool2d(x, self.k)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x: Tensor) -> Tensor:
"""ag.matmul(x, weight) + bias."""
raise NotImplementedError("implement Linear.forward") def forward(self, x: Tensor) -> Tensor:
"""ag.matmul(x, weight) + bias."""
return ag.add(ag.matmul(x, self.weight), self.bias)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x: Tensor) -> Tensor:
"""ag.layernorm(x, weight, bias, eps)."""
raise NotImplementedError("implement LayerNorm.forward") def forward(self, x: Tensor) -> Tensor:
"""ag.layernorm(x, weight, bias, eps)."""
return ag.layernorm(x, self.weight, self.bias, self.eps)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x: Tensor) -> Tensor:
"""ag.batchnorm(x, weight, bias, eps)."""
raise NotImplementedError("implement BatchNorm1d.forward") def forward(self, x: Tensor) -> Tensor:
"""ag.batchnorm(x, weight, bias, eps)."""
return ag.batchnorm(x, self.weight, self.bias, self.eps)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x):
"""linear -> relu (between layers) -> ... -> linear (no final activation)."""
raise NotImplementedError("implement MLP.forward") def forward(self, x):
"""linear -> relu (between layers) -> ... -> linear (no final activation)."""
for i, lin in enumerate(self.layers):
x = lin(x)
if i < len(self.layers) - 1:
x = ag.relu(x)
return xThe file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x):
"""for each conv: pool(relu(conv(x))); then flatten -> relu(fc1) -> fc2."""
raise NotImplementedError("implement ConvNet.forward") def forward(self, x):
"""for each conv: pool(relu(conv(x))); then flatten -> relu(fc1) -> fc2."""
h = x
for conv in self.convs:
h = self.pool(ag.relu(conv(h)))
n = h.data.shape[0]
h = ag.reshape(h, (n, -1))
h = ag.relu(self.fc1(h))
return self.fc2(h)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x: Tensor) -> Tensor:
"""ag.groupnorm(x, weight, bias, num_groups, eps)."""
raise NotImplementedError("implement GroupNorm.forward") def forward(self, x: Tensor) -> Tensor:
"""ag.groupnorm(x, weight, bias, num_groups, eps)."""
return ag.groupnorm(x, self.weight, self.bias, self.num_groups, self.eps)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x: Tensor) -> Tensor:
"""ag.rmsnorm(x, weight, eps)."""
raise NotImplementedError("implement RMSNorm.forward") def forward(self, x: Tensor) -> Tensor:
"""ag.rmsnorm(x, weight, eps)."""
return ag.rmsnorm(x, self.weight, self.eps)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x: Tensor, h: Tensor) -> Tensor:
"""h' = tanh(x @ weight_ih^T + bias_ih + h @ weight_hh^T + bias_hh)."""
raise NotImplementedError("implement RNNCell.forward") def forward(self, x: Tensor, h: Tensor) -> Tensor:
"""h' = tanh(x @ weight_ih^T + bias_ih + h @ weight_hh^T + bias_hh)."""
ih = ag.add(ag.matmul(x, ag.transpose(self.weight_ih)), self.bias_ih)
hh = ag.add(ag.matmul(h, ag.transpose(self.weight_hh)), self.bias_hh)
return ag.tanh(ag.add(ih, hh))The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x: Tensor, h: Tensor) -> Tensor:
"""the GRU update above (slice the 3 gates out of the (N,3H) pre-activations)."""
raise NotImplementedError("implement GRUCell.forward") def forward(self, x: Tensor, h: Tensor) -> Tensor:
"""the GRU update above (slice the 3 gates out of the (N,3H) pre-activations)."""
H = self.hidden_size
gi = ag.add(ag.matmul(x, ag.transpose(self.weight_ih)), self.bias_ih) # (N,3H)
gh = ag.add(ag.matmul(h, ag.transpose(self.weight_hh)), self.bias_hh) # (N,3H)
i_r = gi[:, 0:H]; i_z = gi[:, H:2 * H]; i_n = gi[:, 2 * H:3 * H]
h_r = gh[:, 0:H]; h_z = gh[:, H:2 * H]; h_n = gh[:, 2 * H:3 * H]
r = ag.sigmoid(ag.add(i_r, h_r))
z = ag.sigmoid(ag.add(i_z, h_z))
n = ag.tanh(ag.add(i_n, ag.mul(r, h_n)))
one = ag.Tensor(np.ones((1, H)))
return ag.add(ag.mul(ag.sub(one, z), n), ag.mul(z, h))The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x: Tensor, h: Tensor, c: Tensor):
"""the LSTM update above; return (h', c')."""
raise NotImplementedError("implement LSTMCell.forward") def forward(self, x: Tensor, h: Tensor, c: Tensor):
"""the LSTM update above; return (h', c')."""
H = self.hidden_size
g = ag.add(ag.add(ag.matmul(x, ag.transpose(self.weight_ih)), self.bias_ih),
ag.add(ag.matmul(h, ag.transpose(self.weight_hh)), self.bias_hh)) # (N,4H)
i = ag.sigmoid(g[:, 0:H])
f = ag.sigmoid(g[:, H:2 * H])
gg = ag.tanh(g[:, 2 * H:3 * H])
o = ag.sigmoid(g[:, 3 * H:4 * H])
c2 = ag.add(ag.mul(f, c), ag.mul(i, gg))
h2 = ag.mul(o, ag.tanh(c2))
return h2, c2The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x):
"""h = pool(relu(conv1(x))); res = conv2b(relu(conv2a(h))); h = relu(h + res); flatten -> fc."""
raise NotImplementedError("implement SmallResCNN.forward") def forward(self, x):
"""h = pool(relu(conv1(x))); res = conv2b(relu(conv2a(h))); h = relu(h + res); flatten -> fc."""
h = self.pool(ag.relu(self.conv1(x)))
res = self.conv2b(ag.relu(self.conv2a(h)))
h = ag.relu(ag.add(h, res))
n = h.data.shape[0]
h = ag.reshape(h, (n, -1))
return self.fc(h)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/nn.py
def forward(self, x) -> Tensor:
"""conv1 -> relu -> pool -> conv2 -> relu -> pool -> flatten -> fc1 -> relu -> fc2."""
raise NotImplementedError("implement SmallCNN.forward") def forward(self, x) -> Tensor:
"""conv1 -> relu -> pool -> conv2 -> relu -> pool -> flatten -> fc1 -> relu -> fc2."""
h = self.pool(ag.relu(self.conv1(x)))
h = self.pool(ag.relu(self.conv2(h)))
n = h.data.shape[0]
h = ag.reshape(h, (n, -1))
h = ag.relu(self.fc1(h))
return self.fc2(h)The file /app/submission/nn.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/data.py
def load_npz(path: str) -> Tuple[np.ndarray, np.ndarray]:
raise NotImplementedError("implement load_npz")
def train_val_split(X: np.ndarray, y: np.ndarray, val_frac: float,
rng: np.random.Generator):
raise NotImplementedError("implement train_val_split")
def iter_batches(X: np.ndarray, y: np.ndarray, batch_size: int,
rng: np.random.Generator) -> Iterator[Tuple[np.ndarray, np.ndarray]]:
raise NotImplementedError("implement iter_batches")
def get_batch(X: np.ndarray, y: np.ndarray, batch_size: int,
rng: np.random.Generator) -> Tuple[np.ndarray, np.ndarray]:
"""A single random minibatch (without replacement if possible). Shape-preserving."""
raise NotImplementedError("implement get_batch")
def to_onehot(y: np.ndarray, n_classes: int) -> np.ndarray:
"""(N, n_classes) one-hot float matrix from integer labels y."""
raise NotImplementedError("implement to_onehot")
def clip01(X: np.ndarray) -> np.ndarray:
"""Clamp X into the [0,1] pixel domain (the valid attack range)."""
raise NotImplementedError("implement clip01")def load_npz(path: str) -> Tuple[np.ndarray, np.ndarray]:
d = np.load(path)
X = np.asarray(d["X"], dtype=np.float64)
y = np.asarray(d["y"], dtype=np.int64)
return X, y
def train_val_split(X: np.ndarray, y: np.ndarray, val_frac: float,
rng: np.random.Generator):
n = X.shape[0]
perm = rng.permutation(n)
n_val = int(round(n * val_frac))
val_idx = perm[:n_val]
tr_idx = perm[n_val:]
return (X[tr_idx], y[tr_idx]), (X[val_idx], y[val_idx])
def iter_batches(X: np.ndarray, y: np.ndarray, batch_size: int,
rng: np.random.Generator) -> Iterator[Tuple[np.ndarray, np.ndarray]]:
n = X.shape[0]
perm = rng.permutation(n)
for s in range(0, n, batch_size):
idx = perm[s:s + batch_size]
yield X[idx], y[idx]
def get_batch(X: np.ndarray, y: np.ndarray, batch_size: int,
rng: np.random.Generator) -> Tuple[np.ndarray, np.ndarray]:
"""A single random minibatch (without replacement if possible). Shape-preserving."""
n = X.shape[0]
replace = batch_size > n
idx = rng.choice(n, size=batch_size, replace=replace)
return X[idx], y[idx]
def to_onehot(y: np.ndarray, n_classes: int) -> np.ndarray:
"""(N, n_classes) one-hot float matrix from integer labels y."""
y = np.asarray(y).astype(np.int64)
oh = np.zeros((y.shape[0], n_classes), dtype=np.float64)
oh[np.arange(y.shape[0]), y] = 1.0
return oh
def clip01(X: np.ndarray) -> np.ndarray:
"""Cla
…[truncated 93 chars]The file /app/submission/data.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
def step(self):
raise NotImplementedError("implement SGD.step") def step(self):
for i, p in enumerate(self.params):
if p.grad is None:
continue
g = p.grad + self.weight_decay * p.data
self._v[i] = self.momentum * self._v[i] + g
step = (g + self.momentum * self._v[i]) if self.nesterov else self._v[i]
p.data -= self.lr * stepThe file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
def step(self):
raise NotImplementedError("implement Adagrad.step") def step(self):
for i, p in enumerate(self.params):
if p.grad is None:
continue
g = p.grad + self.weight_decay * p.data
self._s[i] += g * g
p.data -= self.lr * g / (np.sqrt(self._s[i]) + self.eps)The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
def step(self):
raise NotImplementedError("implement RMSprop.step") def step(self):
for i, p in enumerate(self.params):
if p.grad is None:
continue
g = p.grad + self.weight_decay * p.data
self._s[i] = self.alpha * self._s[i] + (1 - self.alpha) * (g * g)
p.data -= self.lr * g / (np.sqrt(self._s[i]) + self.eps)The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
def step(self):
raise NotImplementedError("implement Adam.step") def step(self):
self.t += 1
for i, p in enumerate(self.params):
if p.grad is None:
continue
g = p.grad + self.weight_decay * p.data
self._m[i] = self.b1 * self._m[i] + (1 - self.b1) * g
self._v[i] = self.b2 * self._v[i] + (1 - self.b2) * (g * g)
mhat = self._m[i] / (1 - self.b1 ** self.t)
vhat = self._v[i] / (1 - self.b2 ** self.t)
p.data -= self.lr * mhat / (np.sqrt(vhat) + self.eps)The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
def step(self):
raise NotImplementedError("implement AdamW.step") def step(self):
self.t += 1
for i, p in enumerate(self.params):
if p.grad is None:
continue
g = p.grad
self._m[i] = self.b1 * self._m[i] + (1 - self.b1) * g
self._v[i] = self.b2 * self._v[i] + (1 - self.b2) * (g * g)
mhat = self._m[i] / (1 - self.b1 ** self.t)
vhat = self._v[i] / (1 - self.b2 ** self.t)
wd_eff = 0.0 if p.ndim <= self.no_decay_ndim else self.weight_decay
p.data -= self.lr * (mhat / (np.sqrt(vhat) + self.eps) + wd_eff * p.data)The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
def step(self):
raise NotImplementedError("implement Adamax.step") def step(self):
self.t += 1
for i, p in enumerate(self.params):
if p.grad is None:
continue
g = p.grad + self.weight_decay * p.data
self._m[i] = self.b1 * self._m[i] + (1 - self.b1) * g
self._u[i] = np.maximum(self.b2 * self._u[i], np.abs(g))
p.data -= (self.lr / (1 - self.b1 ** self.t)) * self._m[i] / (self._u[i] + self.eps)The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
def step(self):
raise NotImplementedError("implement NAdam.step") def step(self):
self.t += 1
for i, p in enumerate(self.params):
if p.grad is None:
continue
g = p.grad + self.weight_decay * p.data
self._m[i] = self.b1 * self._m[i] + (1 - self.b1) * g
self._v[i] = self.b2 * self._v[i] + (1 - self.b2) * (g * g)
mhat = self._m[i] / (1 - self.b1 ** self.t)
vhat = self._v[i] / (1 - self.b2 ** self.t)
mnes = self.b1 * mhat + (1 - self.b1) * g / (1 - self.b1 ** self.t)
p.data -= self.lr * mnes / (np.sqrt(vhat) + self.eps)The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
def step(self):
raise NotImplementedError("implement Lion.step") def step(self):
for i, p in enumerate(self.params):
if p.grad is None:
continue
g = p.grad
c = np.sign(self.b1 * self._m[i] + (1 - self.b1) * g)
p.data -= self.lr * (c + self.weight_decay * p.data)
self._m[i] = self.b2 * self._m[i] + (1 - self.b2) * gThe file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
def step(self):
raise NotImplementedError("implement Adadelta.step") def step(self):
for i, p in enumerate(self.params):
if p.grad is None:
continue
g = p.grad + self.weight_decay * p.data
self._s[i] = self.rho * self._s[i] + (1 - self.rho) * (g * g)
delta = np.sqrt(self._d[i] + self.eps) / np.sqrt(self._s[i] + self.eps) * g
p.data -= self.lr * delta
self._d[i] = self.rho * self._d[i] + (1 - self.rho) * (delta * delta)The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
If total > max_norm, scale
every grad by max_norm/(total+1e-6)."""
raise NotImplementedError("implement clip_grad_norm")
def clip_grad_value(params: List[Tensor], clip_value: float) -> None:
"""Element-wise gradient clipping: clamp every grad to [-clip_value, clip_value]."""
raise NotImplementedError("implement clip_grad_value") If total > max_norm, scale
every grad by max_norm/(total+1e-6)."""
total = 0.0
for p in params:
if p.grad is not None:
total += float((p.grad ** 2).sum())
total = math.sqrt(total)
if total > max_norm:
scale = max_norm / (total + 1e-6)
for p in params:
if p.grad is not None:
p.grad = p.grad * scale
return total
def clip_grad_value(params: List[Tensor], clip_value: float) -> None:
"""Element-wise gradient clipping: clamp every grad to [-clip_value, clip_value]."""
for p in params:
if p.grad is not None:
p.grad = np.clip(p.grad, -clip_value, clip_value)<tool_use_error>String to replace not found in file.
String: If total > max_norm, scale
every grad by max_norm/(total+1e-6)."""
raise NotImplementedError("implement clip_grad_norm")
def clip_grad_value(params: List[Tensor], clip_value: float) -> None:
"""Element-wise gradient clipping: clamp every grad to [-clip_value, clip_value]."""
raise NotImplementedError("implement clip_grad_value")</tool_use_error>/app/submission/optim.py
raise NotImplementedError("implement clip_grad_norm") total = 0.0
for p in params:
if p.grad is not None:
total += float((p.grad ** 2).sum())
total = math.sqrt(total)
if total > max_norm:
scale = max_norm / (total + 1e-6)
for p in params:
if p.grad is not None:
p.grad = p.grad * scale
return totalThe file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
raise NotImplementedError("implement clip_grad_value") for p in params:
if p.grad is not None:
p.grad = np.clip(p.grad, -clip_value, clip_value)The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
else: min_lr + 0.5*(base_lr-min_lr)*(1+cos(pi*progress)), progress=clip((step-warmup)/(total-warmup),0,1)."""
raise NotImplementedError("implement cosine_lr") else: min_lr + 0.5*(base_lr-min_lr)*(1+cos(pi*progress)), progress=clip((step-warmup)/(total-warmup),0,1)."""
if warmup > 0 and step < warmup:
return base_lr * (step + 1) / warmup
prog = min(1.0, max(0.0, (step - warmup) / max(1, total - warmup)))
return min_lr + 0.5 * (base_lr - min_lr) * (1 + math.cos(math.pi * prog))The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
"""Linear warmup to base_lr over warmup steps, flat after: base_lr*(step+1)/warmup if step<warmup else base_lr."""
raise NotImplementedError("implement warmup_lr") """Linear warmup to base_lr over warmup steps, flat after: base_lr*(step+1)/warmup if step<warmup else base_lr."""
return base_lr * (step + 1) / warmup if step < warmup else base_lrThe file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
"""Step decay: base_lr * gamma ** (step // step_size)."""
raise NotImplementedError("implement step_lr") """Step decay: base_lr * gamma ** (step // step_size)."""
return base_lr * (gamma ** (step // step_size))The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
"""Exponential decay: base_lr * gamma ** step."""
raise NotImplementedError("implement exponential_lr") """Exponential decay: base_lr * gamma ** step."""
return base_lr * (gamma ** step)The file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
lr = (base_lr-min_lr)*(1-progress)**power + min_lr."""
raise NotImplementedError("implement polynomial_lr") lr = (base_lr-min_lr)*(1-progress)**power + min_lr."""
prog = min(1.0, max(0.0, step / total))
return (base_lr - min_lr) * ((1.0 - prog) ** power) + min_lrThe file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/optim.py
lr = base_lr + (min_lr-base_lr)*progress."""
raise NotImplementedError("implement linear_lr") lr = base_lr + (min_lr-base_lr)*progress."""
prog = min(1.0, max(0.0, step / total))
return base_lr + (min_lr - base_lr) * progThe file /app/submission/optim.py has been updated successfully. (file state is current in your context , no need to Read it back)
Run autograd grad checks
cd /app && python3 run_checks.py --only autograd_grads 2>&1 | tail -40
grad/prod_axis OK (max_abs=5.65e-10) grad/cumsum_ax1 OK (max_abs=3.79e-11) grad/logsumexp_ax1 OK (max_abs=4.93e-11) grad/pad2d OK (max_abs=5.10e-11) grad/groupnorm_x OK grad/rmsnorm_x OK grad/layernorm_x OK grad/batchnorm_x OK grad/embedding OK grad/mse_loss OK grad/cross_entropy OK grad/kl_div_q OK grad/kl_div_p OK grad/conv2d_input OK (max_abs=1.09e-09) grad/conv2d_weight OK (max_abs=3.38e-09) grad/conv2d_bias OK grad/conv2d_pad0_input OK (max_abs=7.79e-10) grad/maxpool2d OK grad/avgpool2d OK grad/nn.Conv2d_x OK grad/nn.Linear_x OK grad/nn.LayerNorm_x OK grad/nn.BatchNorm1d_x OK grad/cnn_grad_fc2.bias OK (max_abs=1.21e-11) grad/cnn_grad_conv1.weight OK (max_abs=2.55e-11) grad/cnn_grad_conv2.weight OK (max_abs=2.61e-11) grad/cnn_grad_fc1.weight OK (ma …[truncated 815 chars]
Run nn_forward optim data checks
for m in nn_forward optim data; do echo "=== $m ==="; python3 run_checks.py --only $m 2>&1 | tail -3; done
=== nn_forward === nn_forward 22/22 TOTAL 22/22 public checks passing All public checks pass. Now make sure model.npz clears the held-out ROBUST-accuracy threshold; the grader re-checks with DIFFERENT seeds/shapes + its OWN strong PGD. === optim === optim 20/20 TOTAL 20/20 public checks passing All public checks pass. Now make sure model.npz clears the held-out ROBUST-accuracy threshold; the grader re-checks with DIFFERENT seeds/shapes + its OWN strong PGD. === data === data 3/3 TOTAL 3/3 public checks passing All public checks pass. Now make sure model.npz clears the held-out ROBUST-accuracy threshold; the grader re-checks with DIFFERENT seeds/shapes + its OWN strong PGD.
/app/submission/attack.py
Wrap x
in a requires_grad=True Tensor, forward, compute loss_fn, backprop, return xt.grad."""
raise NotImplementedError("implement loss_input_grad")
def input_grad(model, x: np.ndarray, y: np.ndarray) -> np.ndarray:
"""d/dx of mean CROSS-ENTROPY of model(x) vs y (the standard attack gradient)."""
raise NotImplementedError("implement input_grad") Wrap x
in a requires_grad=True Tensor, forward, compute loss_fn, backprop, return xt.grad."""
xt = Tensor(np.asarray(x, dtype=np.float64), requires_grad=True)
logits = model(xt)
loss = loss_fn(logits, y)
loss.backward()
return np.asarray(xt.grad, dtype=np.float64)
def input_grad(model, x: np.ndarray, y: np.ndarray) -> np.ndarray:
"""d/dx of mean CROSS-ENTROPY of model(x) vs y (the standard attack gradient)."""
return loss_input_grad(model, x, y, lambda lg, t: ag.cross_entropy(lg, t))<tool_use_error>String to replace not found in file.
String: Wrap x
in a requires_grad=True Tensor, forward, compute loss_fn, backprop, return xt.grad."""
raise NotImplementedError("implement loss_input_grad")
def input_grad(model, x: np.ndarray, y: np.ndarray) -> np.ndarray:
"""d/dx of mean CROSS-ENTROPY of model(x) vs y (the standard attack gradient)."""
raise NotImplementedError("implement input_grad")</tool_use_error>/app/submission/attack.py
raise NotImplementedError("implement loss_input_grad") xt = Tensor(np.asarray(x, dtype=np.float64), requires_grad=True)
logits = model(xt)
loss = loss_fn(logits, y)
loss.backward()
return np.asarray(xt.grad, dtype=np.float64)The file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
raise NotImplementedError("implement input_grad")return loss_input_grad(model, x, y, lambda lg, t: ag.cross_entropy(lg, t))
The file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
raise NotImplementedError("implement cw_margin_loss") logits = ag._ensure(logits)
y = np.asarray(y).astype(np.int64)
N, C = logits.data.shape
z_y = ag.getitem(logits, (np.arange(N), y)) # (N,)
onehot = np.zeros((N, C)); onehot[np.arange(N), y] = 1.0
masked = ag.add(logits, Tensor(np.where(onehot > 0, -1e30, 0.0)))
max_other = ag.max(masked, axis=1) # (N,)
margin = ag.sub(z_y, max_other) # z_y - max_other
return ag.mean(ag.maximum(ag.mul(margin, -1.0), -float(kappa)))The file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
raise NotImplementedError("implement dlr_loss") logits = ag._ensure(logits)
y = np.asarray(y).astype(np.int64)
N, C = logits.data.shape
z_y = ag.getitem(logits, (np.arange(N), y)) # (N,)
onehot = np.zeros((N, C)); onehot[np.arange(N), y] = 1.0
masked = ag.add(logits, Tensor(np.where(onehot > 0, -1e30, 0.0)))
max_other = ag.max(masked, axis=1) # (N,)
z_max = ag.max(logits, axis=1)
z_mean = ag.mean(logits, axis=1)
num = ag.sub(z_y, max_other)
den = ag.add(ag.sub(z_max, z_mean), float(eps))
dlr = ag.mul(ag.div(num, den), -1.0)
return ag.mean(dlr)The file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
raise NotImplementedError("implement project_linf") x_adv = np.clip(x_adv, x - eps, x + eps)
return np.clip(x_adv, lo, hi)The file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
raise NotImplementedError("implement project_l2") d = (x_adv - x).reshape(x.shape[0], -1)
norm = np.linalg.norm(d, axis=1)
factor = np.minimum(1.0, eps / (norm + 1e-12))
d = d * factor[:, None]
proj = x + d.reshape(x.shape)
return np.clip(proj, lo, hi)The file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
raise NotImplementedError("implement fgsm") lo, hi = clip
g = input_grad(model, x, y)
return np.clip(x + eps * np.sign(g), lo, hi)The file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
"""Iterated FGSM with random start + L-inf projection (the standard PGD attack)."""
raise NotImplementedError("implement pgd_attack") """Iterated FGSM with random start + L-inf projection (the standard PGD attack)."""
lo, hi = clip
x = np.asarray(x, dtype=np.float64)
if x0 is not None:
x_adv = np.asarray(x0, dtype=np.float64).copy()
elif rng is not None:
x_adv = x + rng.uniform(-eps, eps, size=x.shape)
else:
x_adv = x.copy()
x_adv = project_linf(x_adv, x, eps, lo, hi)
for _ in range(steps):
g = input_grad(model, x_adv, y)
x_adv = x_adv + alpha * np.sign(g)
x_adv = project_linf(x_adv, x, eps, lo, hi)
return x_advThe file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
project to the L-inf ball + box each step."""
raise NotImplementedError("implement mi_fgsm") project to the L-inf ball + box each step."""
lo, hi = clip
x = np.asarray(x, dtype=np.float64)
x_adv = x.copy()
g_mom = np.zeros_like(x)
for _ in range(steps):
g = input_grad(model, x_adv, y)
l1 = np.abs(g).reshape(x.shape[0], -1).sum(axis=1).reshape(-1, *([1] * (x.ndim - 1)))
g_mom = mu * g_mom + g / (l1 + 1e-12)
x_adv = x_adv + alpha * np.sign(g_mom)
x_adv = project_linf(x_adv, x, eps, lo, hi)
return x_advThe file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
"""Targeted PGD: DESCEND CE toward y_target (step on the NEGATIVE gradient sign); project each step."""
raise NotImplementedError("implement targeted_pgd") """Targeted PGD: DESCEND CE toward y_target (step on the NEGATIVE gradient sign); project each step."""
lo, hi = clip
x = np.asarray(x, dtype=np.float64)
if rng is not None:
x_adv = x + rng.uniform(-eps, eps, size=x.shape)
else:
x_adv = x.copy()
x_adv = project_linf(x_adv, x, eps, lo, hi)
for _ in range(steps):
g = input_grad(model, x_adv, y_target)
x_adv = x_adv - alpha * np.sign(g)
x_adv = project_linf(x_adv, x, eps, lo, hi)
return x_advThe file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
"""PGD ascending the untargeted CW margin loss (cw_margin_loss); project to the ball + box each step."""
raise NotImplementedError("implement cw_pgd") """PGD ascending the untargeted CW margin loss (cw_margin_loss); project to the ball + box each step."""
lo, hi = clip
x = np.asarray(x, dtype=np.float64)
if rng is not None:
x_adv = x + rng.uniform(-eps, eps, size=x.shape)
else:
x_adv = x.copy()
x_adv = project_linf(x_adv, x, eps, lo, hi)
lf = lambda lg, t: cw_margin_loss(lg, t, kappa)
for _ in range(steps):
g = loss_input_grad(model, x_adv, y, lf)
x_adv = x_adv + alpha * np.sign(g)
x_adv = project_linf(x_adv, x, eps, lo, hi)
return x_advThe file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
into the L-2 eps-ball + pixel box each step."""
raise NotImplementedError("implement pgd_l2") into the L-2 eps-ball + pixel box each step."""
lo, hi = clip
x = np.asarray(x, dtype=np.float64)
x_adv = x.copy()
for _ in range(steps):
g = input_grad(model, x_adv, y)
gf = g.reshape(x.shape[0], -1)
norm = np.linalg.norm(gf, axis=1).reshape(-1, *([1] * (x.ndim - 1)))
gunit = g / (norm + 1e-12)
x_adv = x_adv + alpha * gunit
x_adv = project_l2(x_adv, x, eps, lo, hi)
return x_advThe file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
x_adv += alpha*sign(input_grad); project to the L-inf eps-ball + box."""
raise NotImplementedError("implement bim") x_adv += alpha*sign(input_grad); project to the L-inf eps-ball + box."""
lo, hi = clip
x = np.asarray(x, dtype=np.float64)
x_adv = x.copy()
for _ in range(steps):
g = input_grad(model, x_adv, y)
x_adv = x_adv + alpha * np.sign(g)
x_adv = project_linf(x_adv, x, eps, lo, hi)
return x_adv<tool_use_error>String to replace not found in file.
String: x_adv += alpha*sign(input_grad); project to the L-inf eps-ball + box."""
raise NotImplementedError("implement bim")</tool_use_error>/app/submission/attack.py
raise NotImplementedError("implement bim") lo, hi = clip
x = np.asarray(x, dtype=np.float64)
x_adv = x.copy()
for _ in range(steps):
g = input_grad(model, x_adv, y)
x_adv = x_adv + alpha * np.sign(g)
x_adv = project_linf(x_adv, x, eps, lo, hi)
return x_advThe file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
raise NotImplementedError("implement rfgsm") lo, hi = clip
x = np.asarray(x, dtype=np.float64)
if alpha is None:
alpha = eps / 2.0
if rng is not None:
r = np.sign(rng.uniform(-1.0, 1.0, size=x.shape))
else:
r = np.sign(np.random.uniform(-1.0, 1.0, size=x.shape))
x_start = np.clip(x + (eps - alpha) * r, lo, hi)
g = input_grad(model, x_start, y)
x_adv = x_start + alpha * np.sign(g)
return project_linf(x_adv, x, eps, lo, hi)The file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
raise NotImplementedError("implement ni_fgsm") lo, hi = clip
x = np.asarray(x, dtype=np.float64)
x_adv = x.copy()
g_mom = np.zeros_like(x)
for _ in range(steps):
x_nes = x_adv + alpha * mu * g_mom
g = input_grad(model, x_nes, y)
l1 = np.abs(g).reshape(x.shape[0], -1).sum(axis=1).reshape(-1, *([1] * (x.ndim - 1)))
g_mom = mu * g_mom + g / (l1 + 1e-12)
x_adv = x_adv + alpha * np.sign(g_mom)
x_adv = project_linf(x_adv, x, eps, lo, hi)
return x_advThe file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
raise NotImplementedError("implement pgd_restarts") x = np.asarray(x, dtype=np.float64)
y = np.asarray(y)
if rng is None:
rng = np.random.default_rng()
best = None
best_loss = None
for _ in range(restarts):
xa = pgd_attack(model, x, y, eps, steps, alpha, clip=clip, rng=rng)
per = np.asarray(ag.nll_per_sample(model(Tensor(xa)), y).data)
if best is None:
best = xa.copy()
best_loss = per.copy()
else:
mask = per > best_loss
best[mask] = xa[mask]
best_loss[mask] = per[mask]
return bestThe file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/attack.py
raise NotImplementedError("implement dlr_pgd") lo, hi = clip
x = np.asarray(x, dtype=np.float64)
if rng is not None:
x_adv = x + rng.uniform(-eps, eps, size=x.shape)
else:
x_adv = x.copy()
x_adv = project_linf(x_adv, x, eps, lo, hi)
lf = lambda lg, t: dlr_loss(lg, t)
for _ in range(steps):
g = loss_input_grad(model, x_adv, y, lf)
x_adv = x_adv + alpha * np.sign(g)
x_adv = project_linf(x_adv, x, eps, lo, hi)
return x_advThe file /app/submission/attack.py has been updated successfully. (file state is current in your context , no need to Read it back)
Run attack checks
python3 run_checks.py --only attack 2>&1 | tail -25
[attack] 18/18 attack/input_grad_fd OK (max_abs=2.73e-11) attack/cw_loss_input_grad_fd OK (max_abs=4.13e-12) attack/dlr_loss_grad OK (max_abs=1.04e-09) attack/dlr_loss_input_grad_fd OK (max_abs=3.51e-11) attack/fgsm_step OK attack/pgd_projection OK attack/mi_fgsm_projection OK attack/cw_pgd_projection OK attack/pgd_l2_projection OK attack/bim_projection OK attack/rfgsm_projection OK attack/ni_fgsm_projection OK attack/pgd_restarts_projection OK attack/dlr_pgd_projection OK attack/pgd_stronger_than_fgsm OK (fgsm=1.450 pgd=1.469) attack/bim_stronger_than_fgsm OK (fgsm=1.411 bim=1.423) attack/pgd_restarts_worst_case OK (single=1.521 restarts=1.525) attack/targeted_pgd_lowers_target_ce OK (1.388->1.333) ------------------------------------------------------------------------ attack 18/18 TOTAL 18/18 public checks passing All public checks pass. Now make sure model.npz clears the held-out ROBUST-accuracy threshold; the grader re-checks with DIFFERENT seeds/shapes + its OWN strong PGD.
/app/submission/advtrain.py
def pgd_at_loss(model, x_adv: np.ndarray, y: np.ndarray) -> Tensor:
"""Madry PGD-AT loss: cross-entropy on the adversarial batch (trains parameters)."""
raise NotImplementedError("implement pgd_at_loss")def _detach(t: Tensor) -> Tensor:
return Tensor(np.asarray(t.data).copy())
def pgd_at_loss(model, x_adv: np.ndarray, y: np.ndarray) -> Tensor:
"""Madry PGD-AT loss: cross-entropy on the adversarial batch (trains parameters)."""
return ag.cross_entropy(model(Tensor(np.asarray(x_adv, dtype=np.float64))), y)The file /app/submission/advtrain.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/advtrain.py
"""TRADES loss = CE(clean, y) + beta * KL(stopgrad(softmax(clean)) || softmax(adv))."""
raise NotImplementedError("implement trades_loss") """TRADES loss = CE(clean, y) + beta * KL(stopgrad(softmax(clean)) || softmax(adv))."""
cl = model(Tensor(np.asarray(x_clean, dtype=np.float64)))
ad = model(Tensor(np.asarray(x_adv, dtype=np.float64)))
ce = ag.cross_entropy(cl, y)
tgt = _detach(cl)
kl = ag.kl_div(tgt, ad)
loss = ag.add(ce, ag.mul(kl, float(beta)))
return loss, {"ce": float(ce.data), "kl": float(kl.data)}The file /app/submission/advtrain.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/advtrain.py
DETACHED); see the module docstring for the exact form."""
raise NotImplementedError("implement mart_loss") DETACHED); see the module docstring for the exact form."""
y = np.asarray(y).astype(np.int64)
ad = model(Tensor(np.asarray(x_adv, dtype=np.float64)))
cl = model(Tensor(np.asarray(x_clean, dtype=np.float64)))
N, C = ad.data.shape
onehot = np.zeros((N, C)); onehot[np.arange(N), y] = 1.0
# boosted CE = CE(adv,y) - mean log(1 - max_{j!=y} p_adv_j)
ce = ag.cross_entropy(ad, y)
p_adv = ag.softmax(ad)
pm = ag.mul(p_adv, Tensor(1.0 - onehot)) # zero out true-class prob
pm_max = ag.max(pm, axis=1) # (N,)
boost = ag.mul(ag.mean(ag.log(ag.sub(1.0, pm_max))), -1.0)
bce = ag.add(ce, boost)
# weighted KL(softmax(adv) || stopgrad softmax(clean)), weight (1 - p_clean[y]) detached
pc = ag._softmax_np(cl.data, -1)
w = Tensor(1.0 - pc[np.arange(N), y]) # (N,) constant
lp_adv = ag.log_softmax(ad)
lq = Tensor(ag._logsoftmax_np(cl.data, -1)) # detached clean log-probs
kl_rows = ag.sum(ag.mul(p_adv, ag.sub(lp_adv, lq)), axis=1) # (N,)
weighted = ag.mean(ag.mul(w, kl_rows))
loss = ag.add(bce, ag.mul(weighted, float(beta)))
return loss, {"bce": float(bce.data), "kl": float(weighted.data)}The file /app/submission/advtrain.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/advtrain.py
"""Adversarial Logit Pairing: 0.5*(CE(clean)+CE(adv)) + lam*mean||z_clean - z_adv||^2 (no detach)."""
raise NotImplementedError("implement alp_loss") """Adversarial Logit Pairing: 0.5*(CE(clean)+CE(adv)) + lam*mean||z_clean - z_adv||^2 (no detach)."""
zc = model(Tensor(np.asarray(x_clean, dtype=np.float64)))
za = model(Tensor(np.asarray(x_adv, dtype=np.float64)))
ce = ag.mul(ag.add(ag.cross_entropy(zc, y), ag.cross_entropy(za, y)), 0.5)
diff = ag.sub(zc, za)
pair = ag.mean(ag.mul(diff, diff))
loss = ag.add(ce, ag.mul(pair, float(lam)))
return loss, {"ce": float(ce.data), "pair": float(pair.data)}The file /app/submission/advtrain.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/advtrain.py
"""CE against a label-smoothed target ((1-eps_ls)*onehot + eps_ls/C*uniform), via log_softmax."""
raise NotImplementedError("implement label_smoothed_ce") """CE against a label-smoothed target ((1-eps_ls)*onehot + eps_ls/C*uniform), via log_softmax."""
logits = ag._ensure(logits)
y = np.asarray(y).astype(np.int64)
N, C = logits.data.shape
if n_classes is None:
n_classes = C
onehot = np.zeros((N, C)); onehot[np.arange(N), y] = 1.0
target = (1.0 - eps_ls) * onehot + eps_ls / n_classes
lsm = ag.log_softmax(logits)
rowsum = ag.sum(ag.mul(Tensor(target), lsm), axis=1) # (N,)
return ag.mul(ag.mean(rowsum), -1.0)The file /app/submission/advtrain.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/advtrain.py
"""Mixed clean+adversarial CE: lam*CE(adv,y) + (1-lam)*CE(clean,y)."""
raise NotImplementedError("implement robust_ce_loss") """Mixed clean+adversarial CE: lam*CE(adv,y) + (1-lam)*CE(clean,y)."""
ce_a = ag.cross_entropy(model(Tensor(np.asarray(x_adv, dtype=np.float64))), y)
ce_c = ag.cross_entropy(model(Tensor(np.asarray(x_clean, dtype=np.float64))), y)
loss = ag.add(ag.mul(ce_a, float(lam)), ag.mul(ce_c, float(1.0 - lam)))
return loss, {"ce_adv": float(ce_a.data), "ce_clean": float(ce_c.data)}The file /app/submission/advtrain.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/advtrain.py
through the adversarial branch; the clean branch still trains via its CE term)."""
raise NotImplementedError("implement clp_loss") through the adversarial branch; the clean branch still trains via its CE term)."""
zc = model(Tensor(np.asarray(x_clean, dtype=np.float64)))
za = model(Tensor(np.asarray(x_adv, dtype=np.float64)))
ce = ag.mul(ag.add(ag.cross_entropy(zc, y), ag.cross_entropy(za, y)), 0.5)
diff = ag.sub(_detach(zc), za)
pair = ag.mean(ag.mul(diff, diff))
loss = ag.add(ce, ag.mul(pair, float(lam)))
return loss, {"ce": float(ce.data), "pair": float(pair.data)}The file /app/submission/advtrain.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/advtrain.py
as the second ("q") -- the opposite argument order from TRADES."""
raise NotImplementedError("implement kl_at_loss") as the second ("q") -- the opposite argument order from TRADES."""
ad = model(Tensor(np.asarray(x_adv, dtype=np.float64)))
cl = model(Tensor(np.asarray(x_clean, dtype=np.float64)))
ce = ag.cross_entropy(ad, y)
tgt = _detach(cl)
kl = ag.kl_div(ad, tgt)
loss = ag.add(ce, ag.mul(kl, float(beta)))
return loss, {"ce": float(ce.data), "kl": float(kl.data)}The file /app/submission/advtrain.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/advtrain.py
"""AT with logit squeezing: L = CE(adv,y) + lam*mean(z_adv**2) (penalize large logits)."""
raise NotImplementedError("implement logit_squeeze_at_loss") """AT with logit squeezing: L = CE(adv,y) + lam*mean(z_adv**2) (penalize large logits)."""
z = model(Tensor(np.asarray(x_adv, dtype=np.float64)))
ce = ag.cross_entropy(z, y)
sq = ag.mean(ag.mul(z, z))
loss = ag.add(ce, ag.mul(sq, float(lam)))
return loss, {"ce": float(ce.data), "sq": float(sq.data)}The file /app/submission/advtrain.py has been updated successfully. (file state is current in your context , no need to Read it back)
/app/submission/advtrain.py
"""Label-smoothed AT: L = label_smoothed_ce(model(adv), y, eps_ls)."""
raise NotImplementedError("implement ls_at_loss") """Label-smoothed AT: L = label_smoothed_ce(model(adv), y, eps_ls)."""
z = model(Tensor(np.asarray(x_adv, dtype=np.float64)))
loss = label_smoothed_ce(z, y, eps_ls)
return loss, {"ls_ce": float(loss.data)}The file /app/submission/advtrain.py has been updated successfully. (file state is current in your context , no need to Read it back)
Run advtrain checks
python3 run_checks.py --only advtrain 2>&1 | tail -22
[advtrain] 14/14 advtrain/at_param_grad OK (max_abs=2.56e-11) advtrain/trades_param_grad OK (max_abs=5.66e-04) advtrain/mart_param_grad OK (max_abs=1.14e-04) advtrain/alp_param_grad OK (max_abs=2.60e-11) advtrain/robust_ce_param_grad OK (max_abs=5.12e-11) advtrain/clp_param_grad OK (max_abs=2.84e-05) advtrain/kl_at_param_grad OK (max_abs=1.62e-03) advtrain/logit_squeeze_param_grad OK (max_abs=4.80e-11) advtrain/ls_at_param_grad OK (max_abs=2.76e-11) advtrain/label_smoothed_ce_grad OK advtrain/trades_stopgrad OK (max_abs=0.00e+00) advtrain/alp_pairing OK (max_abs=0.00e+00) advtrain/clp_stopgrad OK (max_abs=0.00e+00) advtrain/kl_at_stopgrad OK (max_abs=0.00e+00) ------------------------------------------------------------------------ advtrain 14/14 TOTAL 14/14 public checks passing All public checks pass. Now make sure model.npz clears the held-out ROBUST-accuracy threshold; the grader re-checks with DIFFERENT seeds/shapes + its OWN strong PGD.
Run full check suite
python3 run_checks.py 2>&1 | tail -8
data/get_batch_shape OK ((16, 1, 8, 8),(16,)) data/train_val_split OK (30/10) data/to_onehot OK ------------------------------------------------------------------------ autograd_grads 82/82 | nn_forward 22/22 | optim 20/20 | attack 18/18 | advtrain 14/14 | integration 4/4 | data 3/3 TOTAL 163/163 public checks passing All public checks pass. Now make sure model.npz clears the held-out ROBUST-accuracy threshold; the grader re-checks with DIFFERENT seeds/shapes + its OWN strong PGD.
/app/submission/train.py
def train(train_path, out_path, epochs=12, batch_size=128, lr=1.2e-3, eps=0.12,
at_steps=7, alpha=0.03, grad_clip=1.0, weight_decay=5e-4, val_frac=0.15,
sel_steps=7, seed=0, log_every=1):
"""Run multi-step PGD adversarial training and save the best-by-robust-val checkpoint to
``out_path``. See the module docstring for the recipe."""
raise NotImplementedError("implement the adversarial-training loop")def _robust_acc(model, X, y, eps, steps, alpha, rng, restarts=2, batch=256):
"""Worst-case robust accuracy under multi-restart PGD on (X, y)."""
n = X.shape[0]
robust = np.zeros(n, dtype=bool)
correct = np.zeros(n, dtype=bool)
for s in range(0, n, batch):
xb = X[s:s + batch]; yb = y[s:s + batch]
clean_pred = np.argmax(model(A.Tensor(xb)).data, axis=1)
cmask = (clean_pred == yb)
surv = cmask.copy()
for r in range(restarts):
xa = A.pgd_attack(model, xb, yb, eps, steps, alpha,
rng=np.random.default_rng(rng.integers(1 << 30)))
adv_pred = np.argmax(model(A.Tensor(xa)).data, axis=1)
surv &= (adv_pred == yb)
correct[s:s + batch] = cmask
robust[s:s + batch] = surv
return float(robust.mean()), float(correct.mean())
def train(train_path, out_path, epochs=22, batch_size=128, lr=1.2e-3, eps=0.12,
at_steps=10, alpha=0.03, grad_clip=1.0, weight_decay=5e-4, val_frac=0.15,
sel_steps=10, seed=0, log_every=1):
"""Run multi-step PGD adversarial training and save the best-by-robust-val checkpoint to
``out_path``. See the module docstring for the recipe."""
rng = np.random.default_rng(seed)
X, y = D.load_npz(train_path)
n_classes = int(y.max()) + 1
c_in = X.shape[1]
img = X.shape[2]
(Xtr, ytr), (Xval, yval) = D.train_val_split(X, y, val_frac, rng)
print(f"data: N={X.shape[0]} classes={n_classes}
…[truncated 1956 chars]The file /app/submission/train.py has been updated successfully. (file state is current in your context , no need to Read it back)
Run env smoke test
bash test.sh 2>&1 | tail -15
train.npz: X(3600, 1, 16, 16) float32 y(3600,) classes=6 submission stubs present: ['__pycache__', 'advtrain.py', 'attack.py', 'autograd.py', 'data.py', 'nn.py', 'optim.py', 'train.py'] numpy 2.2.6 app_test smoke OK (run 'python3 /app/run_checks.py' for the per-check progress report)
Quick 2-epoch timing test
cd /app/submission && time python3 -c "
import time, numpy as np, train as T
t0=time.time()
sd, br = T.train('/app/data/train.npz', '/tmp/quick.npz', epochs=2, at_steps=10, sel_steps=10)
print('elapsed', time.time()-t0)
" 2>&1 | tail -10data: N=3600 classes=6 c_in=1 img=16 train=3060 val=540 real 0m0.973s user 0m1.541s sys 0m0.156s
Debug train run
python3 -c "
import train as T
T.train('/app/data/train.npz', '/tmp/quick.npz', epochs=1, at_steps=3, sel_steps=3)
" 2>&1 | head -30data: N=3600 classes=6 c_in=1 img=16 train=3060 val=540
Debug with exit code
python3 -u -c "
import train as T
r = T.train('/app/data/train.npz', '/tmp/quick.npz', epochs=1, at_steps=3, sel_steps=3)
print('returned', r is not None)
"; echo "EXIT=$?"data: N=3600 classes=6 c_in=1 img=16 train=3060 val=540
/bin/bash: line 9: 1538 Killed python3 -u -c "
import train as T
r = T.train('/app/data/train.npz', '/tmp/quick.npz', epochs=1, at_steps=3, sel_steps=3)
print('returned', r is not None)
"
EXIT=137Check memory limits
free -m; echo "---"; ulimit -a 2>/dev/null | grep -i mem; echo "---cgroup---"; cat /sys/fs/cgroup/memory.max 2>/dev/null || cat /sys/fs/cgroup/memory/memory.limit_in_bytes 2>/dev/null
Exit code 1
total used free shared buff/cache available
Mem: 481 255 167 1 72 226
Swap: 0 0 0
---
max locked memory (kbytes, -l) 8192
max memory size (kbytes, -m) unlimited
virtual memory (kbytes, -v) unlimited
---cgroup---Measure memory per step
python3 -u -c "
import resource, numpy as np
import attack as A, advtrain as AT, optim as O
from nn import SmallCNN
import data as D
X,y=D.load_npz('/app/data/train.npz')
m=SmallCNN(n_classes=6,c_in=1,img=16,c1=14,c2=28,ff=96,seed=0)
o=O.AdamW(m.params(),lr=1e-3,weight_decay=5e-4,no_decay_ndim=1)
rng=np.random.default_rng(0)
for bs in [32,64]:
xb=X[:bs]; yb=y[:bs]
xa=A.pgd_attack(m,xb,yb,0.12,10,0.03,rng=rng)
loss=AT.pgd_at_loss(m,xa,yb); o.zero_grad(); loss.backward(); O.clip_grad_norm(m.params(),1.0); o.step()
print('bs',bs,'maxrss MB',resource.getrusage(resource.RUSAGE_SELF).ru_maxrss/1024)
" 2>&1 | tailbs 32 maxrss MB 96.91015625 bs 64 maxrss MB 160.02734375
Reduce batch sizes
sed -i 's/def _robust_acc(model, X, y, eps, steps, alpha, rng, restarts=2, batch=256):/def _robust_acc(model, X, y, eps, steps, alpha, rng, restarts=2, batch=64):/' train.py sed -i 's/batch_size=128, lr=1.2e-3/batch_size=64, lr=1.0e-3/' train.py grep -n "batch_size=64\|batch=64" train.py
49:def _robust_acc(model, X, y, eps, steps, alpha, rng, restarts=2, batch=64): 69:def train(train_path, out_path, epochs=22, batch_size=64, lr=1.0e-3, eps=0.12,
4-epoch trial run
time python3 -u -c "
import train as T
T.train('/app/data/train.npz','/tmp/t4.npz',epochs=4,at_steps=10,sel_steps=10,seed=0)
" 2>&1 | tail -12data: N=3600 classes=6 c_in=1 img=16 train=3060 val=540 real 0m1.873s user 0m3.386s sys 0m0.193s
Track memory across steps
python3 -u -c "
import resource, gc, numpy as np
import attack as A, advtrain as AT, optim as O
from nn import SmallCNN
import data as D
X,y=D.load_npz('/app/data/train.npz')
m=SmallCNN(n_classes=6,c_in=1,img=16,c1=14,c2=28,ff=96,seed=0)
o=O.AdamW(m.params(),lr=1e-3,weight_decay=5e-4,no_decay_ndim=1)
rng=np.random.default_rng(0)
for step in range(12):
idx=rng.integers(0,3060,64)
xb=X[idx]; yb=y[idx]
xa=A.pgd_attack(m,xb,yb,0.12,10,0.03,rng=rng)
loss=AT.pgd_at_loss(m,xa,yb); o.zero_grad(); loss.backward(); O.clip_grad_norm(m.params(),1.0); o.step()
del loss, xa
print('step',step,'maxrss MB',round(resource.getrusage(resource.RUSAGE_SELF).ru_maxrss/1024,1), flush=True)
" 2>&1 | tail -15No file changes, the agent left the workspace untouched.
=== SyncVals verifier (local re-grade of the agent's own checkpoint) === COMPONENT CONFORMANCE SUITE: 201/201 cases passed (all milestones pass: True) FINAL METRIC: PGD robust accuracy = 0.6288 >= threshold 0.6 REWARD = 1 (1 iff every component milestone passes AND the sealed held-out metric clears its threshold) NOTE: the in-sandbox training in the 481MB e2b box was OOM-killed (0-byte checkpoint), so the raw in-sandbox reward was an infrastructure artifact. This reward is from a faithful LOCAL re-train of the agent's OWN train.py (24GB, no OOM) with its own default hyperparameters, then re-graded by the real verifier.
Reproduce this trial: git checkout 2f94510 && PYTHONPATH=src python3 scripts/build_site.py , then open trial/trial_7e843426f1474042. Re-running the agent live requires EVAL_PLATFORM_ENABLE_OAUTH_SMOKE=1 and is non-deterministic.
Trial trial_7e843426f1474042 · verifier authoritative; classifier explanatory.