AI اور دنیا کے مشکل مسائل · نظریاتی کمپیوٹر سائنس · arXiv · 2026-10-20

انسان کے لکھے ہوئے استدلالی حوالہ جات کی تصدیق

اصل عنوان: Verifying Human-Written Reasoning References

انسانی لکھی ہوئی استدلالی زنجیریں اکثر AI کے استدلال کو پرکھنے کے لیے حوالے کے طور پر استعمال ہوتی ہیں، لیکن ان کے مراحل کے منطقی سہارے کی شاذ و نادر ہی جانچ کی جاتی ہے۔ مصنفین ایک LLM سے مرحلہ وار نتائج کو فرسٹ آرڈر لاجک میں ترجمہ کراتے ہیں اور Z3 سالور سے اینٹیلمنٹ کی جانچ کرتے ہیں، اور اسے P-FOLIO کی 386 ڈیریویشنز پر لاگو کرتے ہیں۔ ان میں سے 202 (52.3%) نے تمام معیارات پورے کیے، اور جن 230 مراحل کو ان کے بیان کردہ سہارے سے اینٹیلمنٹ حاصل نہ تھا، ان میں سے 191 مکمل مفروضات کے مقابل جانچنے پر اینٹیلڈ ثابت ہوئے۔

اصل تحریر پڑھیں ↗

تمام آئٹمز →