Definitionadvanced
Halver
Also called epsilon-halver, AKS halver.
A network that roughly halves the inputs so that large and small values end up on the correct sides up to an epsilon error.
A network that roughly halves the inputs so that large and small values end up on the correct sides up to an epsilon error.
About this page
The build computes these levels from the evidence in the repository. Each row says what the next level needs. Read what the levels mean.
| Ladder | Level | What the next level needs |
|---|---|---|
| Human proof | H0 no proof |
|
| Lean | L0 no Lean part |
|
| Visual | V0 none |
|
| Writing | W0 stub |
|
Tag EPJBZB Edit this page History Report an error