-
retag: pages
-
retag: logbook.json (verbatim titles)
-
retag: index.html title
-
retag -> paper-nbkYuKIcXr + new title
-
retag: drop stale artifacts/
-
retag: drop stale pages/
-
Update Trackio logbook formatting & verbatim anchored claims
-
C2 upgrade: real-task DeltaL <= Lipschitz 28/28 MNIST+DistilGPT2
-
C2 upgrade: MNIST real CE + DistilGPT2/KAN runtime dL (close a7b5c871 Toy)
-
Add EMP Claim2 multi-arch and ResNet18 artifacts with SHA-256
-
C2 upgrade: multi-arch Delta-L (MLP+CNN+Transformer 63/63) + ResNet18 dense-teacher
-
C2 upgrade: add actual loss-change verification (21/21 hold, Theorem 4.2)
-
v2: MLP+GPT-2 sweep, Claim 2 VERIFIED across 3 arch families (28/28 configs)
-
Update logbook: Reproduction: Effective Model Pruning — Measuring the Redundancy of Model Components
-
initial commit
