AI এবং বিশ্বের কঠিন সমস্যাগুলো · তাত্ত্বিক কম্পিউটার বিজ্ঞান · arXiv · 2026-10-20

মানব-লিখিত যুক্তি-রেফারেন্স যাচাই করা

মূল শিরোনাম: Verifying Human-Written Reasoning References

মানুষের লেখা যুক্তিশৃঙ্খল প্রায়ই AI-এর যুক্তি বিচারের রেফারেন্স হিসেবে ব্যবহৃত হয়, কিন্তু তাদের ধাপগুলোর যৌক্তিক সমর্থন খুব কমই যাচাই করা হয়। লেখকেরা একটি LLM দিয়ে ধাপের সিদ্ধান্তগুলোকে ফার্স্ট-অর্ডার লজিকে রূপান্তর করেছেন এবং Z3 সলভার দিয়ে এনটেইলমেন্ট যাচাই করেছেন, এবং এটি P-FOLIO-র 386টি ডেরিভেশনে প্রয়োগ করেছেন। এর মধ্যে 202টি (52.3%) সব মানদণ্ড পূরণ করেছে, এবং নিজেদের উল্লিখিত সমর্থন থেকে এনটেইলড নয় এমন 230টি ধাপের মধ্যে 191টি পূর্ণ প্রিমাইসের বিপরীতে যাচাই করলে এনটেইলড হয়েছে।

মূল লেখা পড়ুন ↗

সব আইটেম →