Skip to content

Strengthen nonlinear Eisenstein bounds using port polar ranks (no κ) - #6256

Merged
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w9-1030a-contact-obstruction
Oct 31, 2026
Merged

Strengthen nonlinear Eisenstein bounds using port polar ranks (no κ)#6256
Mister-Meeseeks merged 1 commit into
CrocSwap:mainfrom
petalas:research/w9-1030a-contact-obstruction

feat(research): bound quadratic messages by port polar ranks

bbbe83e
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
plan
succeeded Oct 30, 2026 in 4m 18s