VIGOR: Verifiable Industrial Geometry Optimization and Repair in Scene Programs
arXiv:2610.13145v1 Announce Type: new Abstract: Large language models (LLMs) increasingly generate structured layouts and executable scene programs from natural-language instructions. However, executability does not imply engineering feasibility: an industrial scene program may execute successfully while its final state still violates coupled boundary, collision, clearance, aisle, or structural constraints. We identify this mismatch as the executability-engineering-feasibility gap, where locall…