कोबलस्टोन, कॉक प्रूफ असिस्टेंट के लिए एक नवीन प्रमाण संश्लेषण विधि है, जो एक बड़े पैमाने के भाषा मॉडल (एलएलएम) का लाभ उठाते हुए, फूट डालो और जीतो की रणनीति का उपयोग करती है। यह एलएलएम द्वारा उत्पन्न आंशिक प्रमाणों का उपयोग करके समस्या को छोटी उपसमस्याओं में विभाजित करता है और सफलतापूर्वक सिद्ध की गई उपसमस्याओं की स्वचालित रूप से पहचान करता है। फिर यह शेष उपसमस्याओं पर प्रमाण को बार-बार दोहराता है ताकि अंततः एक सही और ठोस समग्र प्रमाण तैयार किया जा सके। ओपन-सोर्स कॉक प्रोजेक्ट पर किए गए प्रयोगों से पता चलता है कि यह मौजूदा एलएलएम-आधारित और गैर-एलएलएम उपकरणों से बेहतर प्रदर्शन करता है, जिसकी औसत लागत $1.25 है और इसमें 14.7 मिनट लगते हैं। यह उपयोगकर्ताओं या अन्य उपकरणों से आंशिक प्रमाण संरचनाएँ या संबंधित लेम्मा भी स्वीकार कर सकता है, और 58% तक प्रमेयों को सिद्ध कर सकता है।
