TY  - RPRT
TI  - Algorithms for Short Human-Verifiable Proofs of Non-Word-Representability
AU  - Sergey Kitaev
AU  - Junting Zhong
PY  - 2026
DO  - 10.1016/j.ic.2026.105543
UR  - https://arxiv.org/abs/2611.08553
ID  - 2611.08553
ER  -