Posts tagged #negative-results

• Naming What Fails: The Obstacle Taxonomy

  May 8, 2026

  25+ preregistered kills over six weeks of compression research. The tempting story is "compression is hard." The physicist story is better: 25 kills, ~10 structural failure patterns, one Lean theorem per class.

  #ml-research #methodology #lean4 #compression #negative-results

• Adversarial Passes That Killed Claims

  Apr 22, 2026

  Two hypotheses that started as clean ideas and ended as documented failures: the DPO-CLM orthogonal-complement hypothesis, and the cross-probe srank claim retracted as a length-bias artifact.

  #ml-research #lora #dpo #falsification #methodology #negative-results