लेखकों ने स्टेलर कोलिसियम का परिचय दिया है, जो एक मॉडल-अग्नोस्टिक हैर्नेस है जिसे गणित और सैद्धांतिक कंप्यूटर विज्ञान में लॉग-होराइजन शोध के लिए इनफरेंस को आवंटित करने के लिए डिज़ाइन किया गया है। सिस्टम प्रूफ निर्माण से पहले वैकल्पिक रणनीतियों का अन्वेषण करता है, एक तैयारी गेट का उपयोग करता है यह निर्धारित करने के लिए कि कोई मार्ग विघटन के लिए पर्याप्त परिपक्व है या नहीं, और प्रूफ योजना को आपसी निर्भर खंड-स्तर की उपसमस्याओं के रूप में दर्शाता है।
कोलिसियम उम्मीदवारों को समानांतर में उत्पन्न करता है, उन्हें लक्षित फॉलिफिकेशन से हमला करता है, और ओवरलैपिंग रैंडम-सैंपल ट्री एग्रीगेशन के माध्यम से परिणामों को जोड़ता है। इसे गूगल एंटिग्रेविटी के टीमवर्क फ्रेमवर्क में लॉंग प्रूफ पैटर्न के रूप में एकीकृत किया गया है, जिसने जेमिनी 3.1 प्रो और जेमिनी 3.7 फ्लैश का उपयोग करते हुए TCS-Bench पर 71.0% सटीकता हासिल की। इसके अलावा, एक प्रूफ-उन्मुख पाइपलाइन जिसमें एक्जीक्यूशन फीडबैक शामिल है, ने कोडफोर्स मूल्यांकन में 222 समस्याओं में से 218 हल कीं।
यह फ्रेमवर्क लॉग-होराइजन शोध समस्याओं पर भाषा मॉडलों की अविश्वसनीयता को असुरक्षित और आपसी निर्भर निर्णयों के अनुक्रमों को प्रबंधित करके संबोधित करता है।