TY - RPRT TI - VIGOR: Verifiable Industrial Geometry Optimization and Repair in Scene Programs AU - Fuqiang Wang AU - Zheng Guo AU - Xiaoming Wu AU - Hanlin Kong AU - Nayu Liu AU - Chuanting Zhang AU - Daojun Liang AU - Jingxuan Wei PY - 2026 UR - https://arxiv.org/abs/2610.13145 ID - 2610.13145 ER -