Techniquecore
q-gram filtering
Also called q-gram count filter.
Discard candidate pairs whose shared q-gram count falls below the q-gram lemma threshold before verifying them.
Discard candidate pairs whose shared q-gram count falls below the q-gram lemma threshold before verifying them.
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 7G6EZX Edit this page History Report an error