paper-with-me

홈 › Papers

PairCoder++: Pair Programming as a Universal Paradigm for Verified Code-Driven Multimodal and Structured-Artifact Generation

2026-07-02 · Junhao Chen, Xiang Li, Mingjin Chen, Boran Zhang, Henghaofan Zhang, Yibin Xu, Yuehan Cui, Fangsheng Weng, Fei Ma, Qi Tian, Ruqi Huang, Hao Zhao arxiv

Code is the medium through which large language models generate structured artifacts: charts, scientific figures, vector graphics, CAD models, 3D scenes, and hardware designs are all produced by writing programs. In this regime single pass inference is brittle, because the compiler, renderer, or simulator that decides whether the artifact exists is invisible to the model. We present PairCoder, which grounds review in the toolchain and realizes it as two agent pair programming: a Driver agent writes the program, a Navigator agent reviews it against verification evidence (diagnostics, execution results, and renderings of the current artifact beside the target), and the two switch roles when errors persist. Across 17 public benchmarks and seven models from three vendors, PairCoder improves essentially every benchmark whose artifact is verifiable, on full official metric suites rather than execution alone (for example, Blender scene executability 0.20 to 0.78; TikZ compile rate up 10 to 30 points on every model), at 2.9 to 9.2 times single model cost (about 7 times overall). The improvements concentrate where the toolchain provides an informative oracle and the baseline leaves headroom, and the method ties or mildly regresses where the oracle is weak; we frame pair programming as a reliable recipe for verified code driven generation.

📄 PDF Abstract BibTeX arXiv:2607.01883

Code (0)

등록된 구현이 없습니다.

Similar Papers 제목 키워드 기반

A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement

2024-09-08 · huan zhang, Wei Cheng, Yuhan Wu, Wei Hu

Large language models (LLMs) have achieved impressive performance on code generation. Although prior studies enhanced LLMs with prompting techniques and code refinement, they still struggle with complex programming probl…

Code Generation

CrossTL: A Universal Programming Language Translator with Unified Intermediate Representation

2025-08-28 · Nripesh Niketan, Vaatsalya Shrivastva arxiv

We present CrossTL, a universal programming language translator enabling bidirectional translation between multiple languages through a unified intermediate representation called CrossGL. Traditional approaches require s…

Code Translation

Universal Policies for Software-Defined MDPs

2020-12-21 · Daniel Selsam, Jesse Michael Han, Leonardo de Moura, Patrice Godefroid

We introduce a new programming paradigm called oracle-guided decision programming in which a program specifies a Markov Decision Process (MDP) and the language provides a universal policy. We prototype a new programming …

Heuristic SearchMeta-Learning

The Agda Universal Algebra Library and Birkhoff's Theorem in Martin-Löf Dependent Type Theory

2021-01-25 · William DeMeo

The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) we developed to formalize the foundations of universal algebra in Martin-Löf dependent type theory using the Agda progra…

Unifying Image Processing as Visual Prompting Question Answering

2023-10-16 · Yihao Liu, Xiangyu Chen, Xianzheng Ma, Xintao Wang 외

Image processing is a fundamental task in computer vision, which aims at enhancing image quality and extracting essential features for subsequent vision applications. Traditionally, task-specific models are developed for…

Image EnhancementImage RestorationIn-Context LearningQuestion Answering+2