Update Trackio logbook formatting & verbatim anchored claims 3df1a58 verified snaykey commited on 23 days ago
C2 upgrade: real-task DeltaL <= Lipschitz 28/28 MNIST+DistilGPT2 64cf40a verified snaykey commited on 26 days ago
C2 upgrade: MNIST real CE + DistilGPT2/KAN runtime dL (close a7b5c871 Toy) a722bef verified snaykey commited on 26 days ago
Add EMP Claim2 multi-arch and ResNet18 artifacts with SHA-256 a7b5c87 verified snaykey commited on 26 days ago
C2 upgrade: multi-arch Delta-L (MLP+CNN+Transformer 63/63) + ResNet18 dense-teacher 405f771 verified snaykey commited on 26 days ago
C2 upgrade: add actual loss-change verification (21/21 hold, Theorem 4.2) 967eae4 verified snaykey commited on 26 days ago
v2: MLP+GPT-2 sweep, Claim 2 VERIFIED across 3 arch families (28/28 configs) b637910 verified snaykey commited on 27 days ago
Update logbook: Reproduction: Effective Model Pruning — Measuring the Redundancy of Model Components 4c41090 verified snaykey commited on 27 days ago