TY  - RPRT
TI  - Finitely Verifiable Segmentation: Decidability for Every Tokenizer with a Finite-State Verifier
AU  - Nicklas Nidhögg
PY  - 2026
UR  - https://arxiv.org/abs/2610.30168
ID  - 2610.30168
ER  -