TY  - RPRT
TI  - Tarski Lower Bounds from Multi-Dimensional Herringbones
AU  - Simina Brânzei
AU  - Reed Phillips
AU  - Nicholas Recker
PY  - 2025
UR  - https://arxiv.org/abs/2502.16679
ID  - 2502.16679
ER  -