@misc{indiciaef46ecb7423b7, title = {Automated Construction and Verification of Unextendible Product Bases}, author = {Zicheng Han and Wanchen Zhang and Fei Shi and Xiande Zhang}, year = {2026}, url = {https://arxiv.org/abs/2608.01438}, note = {Source identifier: 2608.01438} }