Skip to content

Prove uniform precision-depth bounds and a stronger low-precision range - #80

Merged
GoGoKo699 merged 1 commit into
mainfrom
research/uniform-precision-depth
Oct 3, 2026
Merged

Prove uniform precision-depth bounds and a stronger low-precision range#80
GoGoKo699 merged 1 commit into
mainfrom
research/uniform-precision-depth

Prove uniform precision-depth bounds with rectangular query allocation

189b150
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 notice
analytic (3.13)
succeeded Oct 3, 2026 in 3m 58s