TY - RPRT TI - Formalizing the Binding Problem AU - Lianghuan Huang AU - Yihao Li AU - Saeed Salehi AU - Yingshan Chang AU - Ansh Soni AU - Konrad P. Kording PY - 2026 UR - https://arxiv.org/abs/2606.03976 ID - 2606.03976 ER -