TY - RPRT TI - An AI-Assisted Solution to the Signed BAR Conjecture: Uniqueness in the Harrison--Reiman Class and a Completely-$\mathcal{S}$ Class Obstruction AU - Yiping Lu AU - Youheng Zhu PY - 2026 UR - https://arxiv.org/abs/2607.03639 ID - 2607.03639 ER -