TY  - RPRT
TI  - Hardness of Range Avoidance and Proof Complexity Generators from Demi-Bits
AU  - Hanlin Ren
AU  - Yichuan Wang
AU  - Yan Zhong
PY  - 2026
UR  - https://arxiv.org/abs/2511.14061
ID  - 2511.14061
ER  -