Краткое содержание

arXiv:2408.10268v3 Тип объявления: замена-перекрёстная публикация Аннотация: Упрощение ограничений (или сокращённо "стримлайнеры") сужает пространство поиска, повышая скорость и выполнимость решения сложных задач удовлетворения ограничений. Традиционно стримлайнеры создавались вручную или генерировались путём систематического комбинирования атомарных ограничений с затратными оффлайн-тестами. Наш подход использует креативность больших языковых моделей (LLM), чтобы предложить эффективные стримлайнеры для проблем, сформулированных на языке программирования ограничений MiniZinc, и интегрирует обратную связь в LLM посредством быстрых эмпирических тестов для проверки. Оценка проведена по семи различным задачам удовлетворения ограничений, где наш метод обеспечивает значительное сокращение времени выполнения. Мы сравниваем результаты с замаскированными и скрытыми вариантами задачи, чтобы выяснить, зависят ли они от запоминания информации моделью LLM. Также анализируем, улучшают ли более длительные оффлайн-вычисления качество стримлайнеров и способна ли модель LLM предлагать хорошие комбинации...