AI और दुनिया की कठिन समस्याएँ · सैद्धांतिक कंप्यूटर विज्ञान · arXiv · 2026-10-20

मानव-लिखित तर्क संदर्भों का सत्यापन

मूल शीर्षक: Verifying Human-Written Reasoning References

मानव-लिखित तर्क-श्रृंखलाओं का उपयोग अक्सर AI तर्क को परखने के लिए संदर्भ के रूप में किया जाता है, लेकिन उनके चरणों के तार्किक समर्थन की शायद ही जाँच की जाती है। लेखक चरणों के निष्कर्षों को फ़र्स्ट-ऑर्डर लॉजिक में अनुवाद करने के लिए एक LLM और एंटेलमेंट जाँचने के लिए Z3 सॉल्वर का उपयोग करते हैं, और इसे P-FOLIO की 386 व्युत्पत्तियों पर लागू करते हैं। इनमें से 202 (52.3%) ने सभी मानदंड पूरे किए, और अपने बताए गए समर्थन से एंटेल न होने वाले 230 चरणों में से 191 पूर्ण आधार-वाक्यों (premises) के विरुद्ध जाँचने पर एंटेल हो गए।

मूल लेख पढ़ें ↗

सभी आइटम →