Skip to content

Classify dyadic aligned windows of the capped source guard and prove its length bound sharp (no κ) - #7133

Open
petalas wants to merge 2 commits into
CrocSwap:mainfrom
petalas:research/w14-1110b-dyadic-aligned-core-guard
Open

Classify dyadic aligned windows of the capped source guard and prove its length bound sharp (no κ)#7133
petalas wants to merge 2 commits into
CrocSwap:mainfrom
petalas:research/w14-1110b-dyadic-aligned-core-guard

Commits

  1. Commits on Nov 10, 2026

  2. Commits on Nov 11, 2026