Разбивка по Solver-Aware для программирования по образцу: когда дивидендирование требует знания того, как завоевать

arXiv: 2608.03461v2 Annuales Type: заменить резюме: программа на основе разложенного программирования по каждому образцу (PBE) масштабирует производительность за счет разделения задач на подзадачи, которые решает опытный синтезатор: декомпозер предсказывает промежуточные субцели, а синтезатор создает программы с их кондиционированием. Подходы к осуществлению-разложению, такие как ExeDec, обучают декомпозитора имитировать подцели наземной правды (GT), имплицитно рассматривая качество разложения в качестве неотъемлемого элемента задачи. Мы бросаем вызов этому предположению: для решающих лиц с фиксированными индуктивными отклонениями, разложение GT отражает выбор факторизации аннотатором - не поисковой динамики. Поэтому декомпозитор, обученный совпадать с разложением GT, может предложить подцели, которые логически действительны, но не поддаются решению. Мы предлагаем Solver-Awree Decomposation (SAD) — систему подготовки кадров, которая сохраняет подконтрольную подготовку по подцелям GT в качестве структурного драку и при этом дополнительно оптимизирует декомпозитор онлайн с программными градиентами g