PairCoder एक दो-एजेंट जोड़ी प्रोग्रामिंग फ्रेमवर्क पेश करता है जहाँ Driver कोड लिखता है और Navigator सत्यापन साक्ष्य के खिलाफ इसकी समीक्षा करता है, जब त्रुटियाँ बनी रहती हैं तो भूमिकाएँ बदलता है। यह दृष्टिकोण संरचित आर्टिफैक्ट जैसे चार्ट और CAD मॉडल उत्पन्न करने के लिए toolchain में समीक्षा को आधारित करके एक-पास इनफरेंस की नाजुकता को संबोधित करता है।
- 17 सार्वजनिक बेंचमार्क और तीन वेंडर्स से सात मॉडल पर मूल्यांकन किया गया।
- Blender दृश्य निष्पाद्यता को 0.20 से 0.78 तक बढ़ाया।
- प्रत्येक मॉडल पर TikZ कंपाइल दर में 10 से 30 अंक की वृद्धि।
- एकल मॉडल इनफरेंस की लागत का 2.9 से 9.2 गुना संचालित होता है, औसतन लगभग 7 गुना।
विधि सत्यापित कोड-संचालित जनरेशन के लिए एक विश्वसनीय रेसिपी प्रदान करती है, विशेष रूप से जहाँ toolchain एक सूचनात्मक ऑराकल प्रदान करता है।