VIGOR: Поддающаяся проверке отраслевая геометрия оптимизация и ремонт в программах по сценарию
arXiv:2610.131445v1 Annuate Type: New Humber Brieflow: Major Language Models (LMS) все чаще генерирует структурированные планировки и сценные программы на основе естественных языковых инструкций. Вместе с тем осуществимость не подразумевает инженерно-технической осуществимости: промышленная программа может успешно осуществляться, в то время как ее конечное состояние попрежнему нарушает соединенные границы, столкновение, расчистку, проход или структурные ограничения. Мы считаем, что это несоответствие является пробелом в эффективности и результативности, когда местность может оставаться неосуществимой во всем мире, поскольку исправления к одному из устройств могут привести к нарушениям в других местах. Для того чтобы этот пробел измерялся в контролируемой среде, мы составляем набор данных о промышленных сценах на основе исполнения с 1749 сценариями, полными программами реализации и 94 геометрическими проверками окончательного состояния по каждому сценарию. Мы предлагаем также VIGOR, которая сочетает в себе генерацию сценических программ под наблюдением и проверку на основе выполнения и геометрическую переоснащение