PairCoder представляет собой фреймворк двухагентного парного программирования, в котором Driver пишет код, а Navigator проверяет его по доказательствам верификации, меняясь ролями при сохранении ошибок. Этот подход решает проблему хрупкости однопассного вывода за счёт привязки проверки к инструментальной цепочке для генерации структурированных артефактов, таких как диаграммы и CAD-модели.

  • Оценено на 17 публичных бенчмарках и семи моделях от трёх вендоров.
  • Улучшена исполняемость сцен Blender с 0.20 до 0.78.
  • Повышена частота компиляции TikZ на 10–30 пунктов для каждой модели.
  • Работает при стоимости в 2.9–9.2 раза выше, чем однопассный вывод модели, в среднем около 7 раз.

Метод обеспечивает надёжный рецепт генерации на основе кода с верификацией, особенно там, где инструментальная цепочка предоставляет информативный оракул.