TY  - RPRT
TI  - Dimension Amplification for Tarski Fixed-Point Query Lower Bounds
AU  - Boyu Liu
AU  - Zihe Wang
PY  - 2026
UR  - https://arxiv.org/abs/2610.05644
ID  - 2610.05644
ER  -